ChatGpt

A proposição:

tem a forma lógica de p∨¬pp \lor \lnot p, onde:

• pp representa: "o médico irá prescrever o medicamento adequado",
• então ¬p\lnot p significa: "o médico não irá prescrever o medicamento adequado".

Na lógica clássica, expressões do tipo p∨¬pp \lor \lnot p são sempre verdadeiras, independentemente do valor de pp (verdadeiro ou falso). Esse tipo de afirmação é conhecido como uma tautologia.

C) Tautologia

• Em lógica proposicional clássica, uma tautologia é uma fórmula composta que é sempre verdadeira para qualquer combinação de valores lógicos das proposições envolvidas (, ).
• O exemplo padrão é justamente p∨¬pp \lor \lnot p—conhecido como Lei do Terceiro Excluído—que confirma que ou pp é verdadeiro ou sua negação é verdadeira; não há outra opção (, ).

• GeeksforGeeks – “Tautology in Math”:
• Apresenta o exemplo clássico “P ∨ ¬P” e explica que essa fórmula é sempre verdadeira, caracterizando uma tautologia ().
• Millersville University – Truth Tables, Tautologies, and Logical Equivalences:
• Mostra como usar tabelas verdade para comprovar que uma expressão é sempre verdadeira, definindo formalmente o conceito de tautologia ().

Posso aprofundar mais essa noção ou mostrar exemplos de contradição e contingência se você quiser!

p

V

V

F

F

~p (será o contrário)

F

F

V

V

Por último: fazer a tabela do ou com esses valores de v e f acima

p v ~p

V+F=V

V+F=V

F+V=V

F+V=V

Portanto, tautologia