Pregunta: Parte 1 Use el método de la tabla de verdad COMPLETA para determinar si la siguiente forma de enunciado es una tautología, una contradicción o una contingencia. Muestre la tabla completa (con una columna de 'T's y 'F's debajo de cada operador); indicar explícitamente si la forma del enunciado es una tautología, una contradicción o una contingencia. (~p ∨ q)

Parte 1

Use el método de la tabla de verdad COMPLETA para determinar si la siguiente forma de enunciado es una tautología, una contradicción o una contingencia. Muestre la tabla completa (con una columna de 'T's y 'F's debajo de cada operador); indicar explícitamente si la forma del enunciado es una tautología, una contradicción o una contingencia.

(~p ∨ q) ≡ ~(p ⊃ q)

Parte 2

Use el método de la tabla de verdad COMPLETA para determinar si la siguiente forma de enunciado es una tautología, una contradicción o una contingencia. Muestre la tabla completa (con una columna de 'T's y 'F's debajo de cada operador); indicar explícitamente si la forma del enunciado es una tautología, una contradicción o una contingencia.

((pag ∨ q) ⋅ ~(q ∨ r)) ⊃ (r ⊃ pag)

parte 3

Use el método de tabla de verdad COMPLETO para determinar si las siguientes formas de declaración son lógicamente equivalentes. Muestre la tabla completa (con una columna de 'T's y 'F's debajo de cada operador); indicar explícitamente si las formas de declaración son o no equivalentes.

~p ≡ q

(pag ⋅ q) ⊃ ~(pag ∨ q)

parte 4

Use el método de tabla de verdad COMPLETO para determinar si las siguientes formas de declaración se implican lógicamente entre sí. Muestre la tabla completa (con una columna de 'T's y 'F's debajo de cada operador). Conteste estas dos preguntas explícitamente: ¿(1) implica (2)? ¿(2) implica (1)?

(1) ~p ∨ q

(2) pag ≡ q