Resumo de elite: vereditos da lógica proporcional

Tautologia

100% verdade

˜ (til)

Torna tudo que esta dentro do parêntese ou ao lado uma mentira

Tautologia

Desmentir algo que é impossível

˜( p ˆ ˜ p)

O símbolo de fora (˜) está desmentindo: não, isso não aconteceu. Isso é impossível, acontecer ao mesmo tempo: chover e não chover

Contradição

100% mentira 100% falso

Contingência

O resultado depende da escolha e da situação. 50% para V e para F.

Tautologia

(p ˆ q) -> p

Se amanhã chover em Fortaleza e eu vou ficar em casa, então amanhã vai chover.

Vera → Fisher

Primeira setença é verdadeira e a segunda ? Sendo ambas verdadeiras será tautologia

Implicação hipotética

P → Q