Não são proposições:

- Frases interrogativas, exclamativas, imperativas, sem verbo, sentenças abertas (ex.:

Ele é médico, x+2=10) e paradoxos.

Negação da ou...ou é se...semente se.

- Se é rico, é soberbo.
Equiv: Todo rico é soberbo.
- Todo dia faz frio.
Equiv: Se é dia, (então) faz frio.

Negação de Nenhum: EPA

Todo ---- nem todo

Obs.: a negação do todo nunca pode ser o nenhum.
- Se tem dinheiro, então faz cursinho. (V)
(V ou F) (V)
Juca fez cursinho. (V)
Logo, Juca tem dinheiro. (conclusão): então é um argumento inválido.

Regra do Corte (pega sucesso e antecessor iguais)

- Um argumento válido para: “Se João estudou, então Paulo foi aprovado no concurso. Se
Paulo foi aprovado concurso, então Ana não é dentista”, é:
JE -> PA
PA -> ~AD
Então: JE -> ~AD

Primeiro achar a contradição: V/M.