Este documento introduce conceptos lógicos como proposiciones, valores de verdad, negación y condicionales. Explica que una proposición es una afirmación que puede ser verdadera o falsa, y que las proposiciones se representan con letras. Describe las tablas de verdad para proposiciones conjuntivas, negadas y condicionales, las cuales muestran cómo los valores de verdad cambian basados en los valores de las proposiciones componentes.
Lógica proposicional: Tablas de verdad y operadores lógicos
1.
2. Proposición:
Secuencia finita de signos que en un contexto
determinado, puede ser calificado de verdadero
o falso
En el lenguaje natural, toda oración aseverativa
es una proposición.
Las proposiciones son nombradas con las letras
del alfabeto.
3. VALOR DE VERDAD:
Las proposiciones conjuntivas
son verdaderas si ambas
a y b son verdaderas.
En cualquier otro caso son
falsas.
Tabla de Verdad
aa bb aa ۸۸
bb
VV VV VV
VV FF FF
FF VV FF
FF FF FF
4. Negar una proposición
es cambiarle su valor
de verdad.
p(V) entonces ⌐p(F)
Tabla: pp ⌐⌐pp
VV FF
FF VV
5.
El condicional: →
L.N: Si …… entonces……
L.L; p → q
p: antecedente ( Hipótesis)
q: consecuente ( Tesis)
Ej. Si una figura es un cuadrado
entonces es un paralelogramo.
6. Tabla de verdad:
El valor de verdad de
una proposición
condicional, es
independiente de la
relación causal o NO
entre el antecedente
y el consecuente
pp qq pp →→
qq
VV VV VV
VV FF FF
FF VV VV
FF FF VV
7. Tabla de verdad:
El valor de verdad de
una proposición
condicional, es
independiente de la
relación causal o NO
entre el antecedente
y el consecuente
pp qq pp →→
qq
VV VV VV
VV FF FF
FF VV VV
FF FF VV