Question

p ^ q --> p

p v p --> r

p v (q --> r)

(p --> q) ^ (q --> r) --> (p --> r)

(p --> q) ^ ¬q --> ¬p

[(p --> q) ^ (q --> r)] ^ ¬(p --> r)

porfis ​

Answer 1

Respuesta:

Explicación paso a paso:

EQUIVALENCIA LÓGICA Sean A y B dos formas proposicionales, se dice que A es equivalente lógicamente a B, si y sólo si A ↔ B es una tautología. Demostrar (p → q) ^ (q → p) = p ↔ q A ↔ B [(p → q) ^ (q → p)] ↔ [p ↔ q] p q p → q q → p p ↔ q (p → q) ^ (q → p) A↔B V V V V V V V F F V F F F V V F F F F F V V V V Como es tautología si es equivalencia lógica. V V V V

SEGUNDO MÉTODO (p → q) ^ (q → p) A ^ B (p ↔ q) p q p → q q → p A ^ B V V V V V V F F V F F V V F F F F V V V p q p ↔ q V V V V F F F V F F F V