Lógica Parte 1
Lógica Parte 1
Lógica Parte 1
Ejemplos:
Tipos de
proposiciones
Simples Compuestas
Proposiciones Simples
Ejemplo:
El 4 es un número par.
Ejemplos:
p: El 4 es un número par.
𝑝∨𝑞
Simbolización
Ejemplos.
1. Simbolice lógicamente las siguientes proposiciones:
𝑟 →𝑠
Simbolización
Ejemplos.
1. Simbolice lógicamente las siguientes proposiciones:
𝑡↔𝑤
Simbolización
Ejemplos.
1. Simbolice lógicamente las siguientes proposiciones:
𝑎∧ 𝑏
Simbolización
Ejemplos.
2. Niegue de dos maneras diferentes las siguientes
proposiciones:
w:
: No es cierto que .
:
Encantador: Tú, no puedes mentir. Dime marioneta: ¿dónde está Shrek?
Pinocho: No. Sería inexacto suponer que no podría dejar de decir que no es casi
parcialmente incorrecto.
Pinocho: Oh, al contrario, definitivamente diría que rechazo la idea de que sea posible
con cierta falta de improbabilidad de que sepa o no sepa dónde a lo mejor no esté y si
en verdad ahí no estuviera y aunque no estuviera donde yo no sé que estaba, no
significaría que no supiera con certeza dónde no está, ahora que si no estuviera ahí…
( 𝑞 ∧ 𝑝 ) →(𝑝 ∨ 𝑝 )
Simbolización
Ejemplos.
3. Si p representa la proposición: “el cuadrado es un
rectángulo” y q representa la proposición: “el rectángulo es un
polígono que tiene todos sus ángulos rectos”, entonces:
∼ [ ( 𝑝 ∨ 𝑞) ↔ ( ∼ 𝑝 ∧ ∼ 𝑞 ) ]
Simbolización
Ejemplos.
3. Si p representa la proposición: “el cuadrado es un
rectángulo” y q representa la proposición: “el rectángulo es un
polígono que tiene todos sus ángulos rectos”, entonces:
V V
V F
F V
F F
Tablas de Verdad
V V F F V V V V
V F F V F V F F
F V V F F V V F
F F V V F F V V
Tablas de Verdad
Para tener en cuenta:
La negación de una proposición tiene valor de verdad contrario al de
la proposición original.
La conjunción es verdadera si las dos proposiciones que la
componen son verdaderas. En caso contrario, es falsa.
La disyunción es falsa si las dos proposiciones que la componen son
falsas. En caso contrario, es verdadera.
En un condicional , p se llama antecedente y q se llama consecuente.
𝑝∨𝑞
𝑉∨𝐹
𝑉 Por lo tanto, la
proposición
compuesta es
verdadera.
Tablas de Verdad
Ejemplos:
𝑟 ∧s
𝐹 ∧𝑉
𝐹 Por lo tanto, la
proposición
compuesta es falsa.
Tablas de Verdad
Ejemplos:
𝑧 ↔𝑚
𝑉↔𝐹
𝐹 Por lo tanto, la
proposición
compuesta es falsa.
Tablas de Verdad
Ejemplos:
( p ~ q) ( p r )
( 𝐹 ∨∼ 𝐹 ) ∨ ( 𝐹 ↔ 𝑉 )
( 𝐹 ∨𝑉 ) ∨ ( 𝐹 ↔ 𝑉 )
Por lo tanto, la
𝑉∨𝐹 proposición
𝑉 compuesta es
VERDADERA.
Tablas de Verdad
Ejemplos:
~ [(~ p ~ q ) ( p r )]
∼ [ ( ∼ 𝐹 → 𝐹 ) ∧ ( 𝐹 ∨ ¬𝑉 ) ]
∼[(𝑉 → 𝑉 )∧ ( 𝐹 ∨ 𝐹 )]
∼[𝑉 ∧ 𝐹 ] Por lo tanto, la
∼[ 𝐹 ] proposición
compuesta es
𝑉 VERDADERA.
Tablas de Verdad
Ejemplos: