Professional Documents
Culture Documents
SEGUNDO DE SEC.
• Es llamada también lógica de
enunciados o lógica de orden.
• Es la lógica más sencilla de la
lógica simbólica.
• Trata sobre la verdad o falsedad
de las proposiciones y de cómo
la verdad se transmite de unas
proposiciones (premisas) a
otras (conclusión).
• Una proposición es la unidad
mínima de significado
susceptible de ser verdadera o
falsa.
Proposiciones simples
Proposición Llamadas también proposiciones
atómicas o elementales, son
• Es un enunciado al cual aquellos enunciados que tienen un
se le puede asociar el solo sujeto o un solo predicado.
concepto de verdadero o Ejemplos:
• Juan viajará mañana a Trujillo
falso, pero no ambos. • 6 es un número primo.
Proposiciones compuestas
Ejemplos: Son aquellas que tienen dos o más
significados unidos por
conjunciones gramaticales o en
• La luna es cuadrada.
todo caso, contienen el adverbio
• 2 es un número primo. NO.
• Las arañas son Ejemplos:
mamíferos. • Javier es ingeniero y trabaja en
una empresa minera.
• 4 es un número par o 5 es un
número compuesto.
Conectivos Lógicos
Ejemplo:
p: Hoy es viernes.
q: La luna es redonda.
p q :Hoy es viernes y la
luna es redonda.
Disyunción inclusiva
Si p y q son proposiciones, se
llama disyunción de p y q a la
proposición compuesta “p o
q” y se denota por:
pq
Ejemplo:
p: Pedro estudia medicina.
q: Julia estudia derecho.
Ejemplos: F V V
• Si no llueve (entonces)
iremos a la playa. F F V
• Si me gano la lotería
(entonces) me voy de
viaje.
Bicondicional
Si p y q son proposiciones,
se llama bicondicional de p y
p q p↔q
q a la proposición
compuesta “ p, si y solo sí V V V
q” y se denota por:
p↔q V F F
Ejemplos: F V F
• 7 es par si y solo sí es
divisible por 2. F F V
• La luna es satélite de la
Tierra, si y solo sí gira
alrededor de ella.