Lógicas das Proposições
Sintaxe das Proposições
<fórmula>::= <fórmula-atômica> | <fórmula-complexa>
<fórmula-atômica>::= Verdadeiro | Falso | P | Q
| R | ...
<fórmula-complexa>::= (<fórmula>)
| <fórmula> <conectivo> <fórmula >
| ? <fórmula>
<conectivo>::= ? | ? | ? | ?
Hoje é segunda ou terça-feira.
Hoje não é terça-feira.
Logo, Hoje é segunda-feira.
S V T, ? T ? S