2. LÓGICA MATEMÁTICA
Estudia la lógica mediante las matemáticas, busca que
el individuo ejercite su razonamiento, para que pueda
resolver distintos tipos de problemas.
ELEMENTOS
Tablas de
verdad:
proceso
mediante el
cual se
encuentra
el valor de
verdad.
Valor de
verdad:
resultado de
una
proposición
puede ser
falsa (0) o
verdadera (1)
Proposición:
unidad
semántica que
pueden ser
falsa o
verdadera
representada
por cualquier
letra del
alfabeto en
minúsculas.
Variables
proposicionales
: aquellas que
representan a
una proposición
simple o
compuesta, se
representan
con las últimas
letras del
alfabeto, desde
la p.
Formas
proposicionales:
se forman con
las variables
proposicionales
y operadores
lógicos, se
representan con
cualquier letra
del alfabeto
pero en
mayúsculas.
Expresiones de valores
tautología (unos),
contradicción (ceros),
contingencia (unos y ceros)
3. OPERADORES LÓGICOS
Comparan dos valores son: negación (¬) con la palabra (no), conjunción
(˄) con las palabras (y, pero, más, ; ,), disyunción (˅) con la palabra (o),
disyunción exclusiva (˅_) con la palabra (o, o), condicional (a ͢ b) con
las palabras si entonces, este operador tiene una recíproca ( b ͢ a),
inversa ( ¬a ͢ ¬ b) , contra recíproca ( ¬b ͢ ¬a), y por último el
operador bicondicional ( a ͍ b) con las palabras si y solo sí.
LEYES
Conjunción Disyunción
(p˄q)= (q˄p) (p ˅ q)= (q ˅ p) Conmutativa
((p˄q) ˄r)= (p˄ (q˄r) ((p ˅ q) ˅ r)= (p ˅ (q ˅ r) Asociativa
(p˄p)=p (p ˅ p)=p Idempotencia
(p˄1)=p (p ˅ 0)=p Identidad
(p˄0)= o (p ˅ 1)=1 Absorción