Lógica - Tautologia, Contradição e Tautologia.

"Chove ou não chove."

"Hoje está ensolarado."

"Amanhã será segunda-feira."

"Os gatos são animais de segurança."

(P ∧ Q) ∨ (¬P ∧ Q)

(P ∨ Q) ∧ (¬P ∨ Q)

(P ∧ Q) ∨ (P ∨ Q)

(P ∨ Q) ∧ ( P ∧ Q)

(P ∧ (P → Q)) → Q

"É verdade que aquele doce é feito de queijo e também é verdade que aquele mesmo doce não é feito de queijo."

"Se chove, então o céu está claro."

"Todos os pássaros podem voar."

"Se João estuda, então ele tira boas notas."

uma tautologia

uma contingência

uma contradição

se João é alto, então João é alto ou Guilherme é gordo.

se João é alto, então João é alto e Guilherme é gordo.

se João é alto ou Guilherme é gordo, então Guilherme é gordo

se João é alto ou Guilherme é gordo, então João é alto e Guilherme é gordo.

se João é alto ou não é alto, então Guilherme é gordo.