Question

1) Utilizando as regras básicas de inferência, resolva os seguintes teoremas:
a) Ⱶ (P → Q) ↔ ~(P ^~Q)
b) Ⱶ P → ((P → Q) → Q)
c) Ⱶ P v ~P
d) Ⱶ P → (Q → (P ^Q))
e) Ⱶ~(P ↔ ~P)
f) Ⱶ (P → Q) → (~Q → ~P)
g) Ⱶ (P ^ Q) v (~P v ~Q)
h) Ⱶ Q → (P v ~P)
i) Ⱶ (P ^~P) → Q
j) Ⱶ P v (P → Q)
k) Ⱶ (P ^ Q) ↔ ~(~P v ~Q)
l) Ⱶ (P ^ Q) ↔ ~(P →~Q)
m) Ⱶ P ↔ ((P ^ Q) v (P ^~Q))

Answer 1

Resposta:

O núcleo da oração é o verbo ou a locução verbal (podendo estar expressos ou ocultos). O número de verbos e locuções verbais da frase, representa o número de orações, ou seja, se uma frase possui um verbo, tem uma oração, se tem dois verbos, tem duas orações, se tem três verbos, tem três orações, e assim por diante