Académique Documents
Professionnel Documents
Culture Documents
proposiciones compuestas
si Barranquilla es una ciudad de clima cálido y Bogotá no es de clima
frio entonces Cartagena es de clima frío.
Se simbolizamos así (𝑝 ∨∼ 𝑞) ⇒ 𝑟
V F
F F
V
El valor de verdad de este silogismo: (verdad)
Se simbolizamos así (𝑝 ∨∼ 𝑞) ⟺∼ 𝑟
V F
v F
F
El valor de verdad de este silogismo: (Falso)
O todos los números primos son impares o todos los números enteros
son positivos entonces la suma de dos números impares no da un
numero par
Se simbolizamos así (𝑝 ∨̅ 𝑞) ⇒∼ 𝑟
F F
F F
V
El valor de verdad de este silogismo: (Verdad)
Se simbolizamos así (∼ 𝑝 ⇒ 𝑞)
V V
v v v v
V V
V
El valor de verdad de este silogismo: (Verdad)
Hallar {[( p ∧ q ) ∨∼ r ] → (p ⟷ ~r )}
{[( F ∧ F ) ∨∼ V ] → (F ⟷ ~V)}
F F F F
F V
{[( F ∨ F) ∧∼ V ] → (F → F )}
F F
F V
{[(p ∧∼ q ) ∨ r ] → (p → q )}
{[(F ∧∼ F ) ∨ V ] → (F → F )}
F V
F V
V V
V
El valor de verdad de este silogismo: (Verdad)
9) tautología
(~q) [(p→q)^(~q)] (~p) {[(p→q)^(~q)]→(~p)}
F F V V V V V
F V V F F V V
V F F V F F V
V V V F F F V
10) tautología
q (pvq) (~p) pvq^~p [(pvq)^~p]→q
F F F V F V
F V V V V V
V F V F F V
V V V F F V
11) tautología
F F F V F F V
F V V V V V V
V F V F F F V
V V V F F F V
12) contingencia
p q (pvq) (~q) (((pvq))^(~q)) (~p) (pvq))^(~q)↔(~p)
F F F V F V F
F V V F F V F
V F V V V F F
V V V F F F V
13) falacia
p q (p→q) (~q) (((p→q))^(~q)) (~p) (p→q)^(~q)→(~p) (~(p→q))^(~q)→(~p))
F F V V V V V F
F V V F F V V F
V F F V F F V F
V V V F F F V F
{[(p ∧ q ) → (p ∨ q )] ↔ (¬p ∨̅ q̅ )}
F F F F
F F
F F V
V V
p= falso
Se simbolizamos así (𝑝 ∨∼ 𝑞) ⇒ 𝑟
Encontrar el valor de verdad
(𝑣 ∨ ∼ 𝑣) ⟹ 𝑣
V F
v v
V
El valor de verdad de este silogismo: (verdad)
Se simbolizamos así (∼ 𝑝 ∨∼ 𝑞) ⇒∼ 𝑟
F F
F F
V
El valor de verdad de este silogismo: (verdad)
En la luna hay vida inteligente y el sol es una estrella si y solo si la tierra gira
alrededor del sol
Se simbolizamos así (𝑝 ∧ 𝑞) ⟺ 𝑟
F V