LOGICA PROPOSICIONAL

1. ¿QUÉ ES LA LÓGICA?
 Disposición natural de los seres humanos para pensar de forma coherente.
 Estructura del pensamiento que permite verificar si un razonamiento es correcto
o incorrecto.
 Estudio de los métodos y principios indispensables para distinguir el
razonamiento correcto e incorrecto.

2. LÓGICA MATEMÁTICA
Ciencia que estudia procedimientos para distinguir si un razonamiento es correcto o incorrecto.

3. LÓGICA PROPOSICIONAL
LÓGICA DE ENUNCIADOS
LÓGICA DE ORDEN CERO
 Proposición o enunciado: Es una oración que puede ser verdadera o falsa.
Ejemplos:
 Orlando y Ana estudian Enfermería.
 Chimbote está entre Trujillo y Casma.
 Perú se encuentra en el Continente Americano.
 La semana tiene 7 días .
PROPOSICIONES

4.  ¿Cómo te llama?.
 Llama a tu tía.
 ¡Espérame!.
 El pantalón azul.
NO SON PROPOSICIONES.
 ¿Cómo designar una proposición?
Las proposiciones se designan por letras minúsculas y son:
p,q,r,s,t…

5. PROPOSICIONES:
p: IRÉ AL CINE.
q: IRÉ A JUGAR FÚTBOL.
r: TE REGALO FLORES.
s: EL NUEMRO 2 ES PAR.
t: ESTÁ LLOVIENDO.

6. OPERADORES LÓGICOS
~ NEGACIÓN
ν
NO, ES FALSO QUE, ES ERRONEO QUE…
л CONJUNCIÓN Y, TAMBIÉN, ADEMÁS, PERO…
DISYUNCIÓN O, EXCEPTO QUE, SALVO QUE…
→
↔
CONDICIONAL
BICONDICIONAL
A ENTONCES B, DADO QUE A ENTONCES B
SI Y SOLO SI

7. TABLAS DE VERDAD
Toda proposición puede ser verdadera (V) o falsa (F).
Las tablas de verdad son un método para saber si una fórmula
molecular (es decir, formada por varias proposiciones) es siempre
V, a veces V o nunca V (es decir, siempre F). Si los valores son
siempre V tenemos una Tautología, si siempre son F estamos ante
una contradicción.

8. NEGACIÓN:
Si una proposición es verdadera, su
negación será falsa; y si es falsa, su
negación es verdadera.

9. CONJUNCIÓN:
Es verdadera únicamente si los dos
componentes son verdaderos y en
cualquier otro caso es falso.

10. DISYUNCIÓN:
Es verdadera cuando por lo menos una de
las proposiciones es verdadera y falsa si
las dos son falsas.

11. CONDICIONAL:
Es falsa solo cuando el antecedente es
verdadero y el consecuente falso, siendo
verdadera en todos los otros casos.

12. BICONDICIONAL
Es verdadera cuando las dos proposiciones
componentes tienen el mismo valor
veritativo y falsa en otros casos.

13. EJEMPLO
~(pꓥq)