Logica de proposiciones

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.

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 a a ۸۸ bb

VV VV VV

VV FF FF

FF VV FF

FF FF FF

Negar una proposición es cambiarle su valor de verdad.

p(V) entonces ⌐p(F)

Tabla:

pp ⌐⌐pp

VV FFFF VV

El condicional: → L.N: Si …… entonces…… L.L; p → qp: antecedente ( Hipótesis)q: consecuente ( Tesis)Ej. Si una figura es un cuadrado entonces es un paralelogramo.

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 p p →→ qq

VV VV VV

VV FF FF

FF VV VV

FF FF VV

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 p p →→ qq

VV VV VV

VV FF FF

FF VV VV

FF FF VV