Todo desarrollo matemático exige razonar en forma valida
acerca de cosas trascendentales y particularmente abstractas. Antes de empezar
con lógica necesitaremos tener en cuenta los siguientes conceptos.
Lógica: ciencia
que expone leyes, modos y formas de razonamiento o fases.
Proposición: oración
que se puede definir como verdadera o falsa.
Conceptos
Carácter:
·
Bivalentes:
la proposición es verdadera o falsa pero no ambos.
·
Extensional:
el valor de verdad de la proposición depende del calor de verdad de los
componentes.
Principios:
·
Principio
de no contradicción: cual sea la proposición no puede ser verdadera y
falsa.
·
Principio
de tercero excluido: cual sea la proposición es verdadera o falsa.
·
Principio
de identidad: las interpretaciones de un mismo enunciado tiene un mismo
valor de verdad.
Proposición compuesta:
a una proposición se la puede conectar con otra.
Glosario de símbolos
Operaciones proposicionales
Para conocer los valores de verdad
de una proposición necesitaremos tener conocimiento de las siguientes tablas de
verdad:
Al determinar el valor de verdad de una proposición puede ser de la siguiente manera:
- Tautologia: si la proposición es verdad para todos los valores de verdad asignados.
- Contradicción: si la proposición es falsa para todos los valores de verdad asignados.
- Contingencia: si la proposición es verdadera y falsa para todos los valores de verdad asignado.
Conector lógico: símbolo que permite operar con composiciones que permitan operar con proposiciones lógicas. Circuitos lógicos
Ejercicios para resolver aqui
Mas información: https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional













































