Proposizionale

• Alfabeto
• Formule proposizionali
• Sottoformule
• Variabili proposizionali di una formula
• Lunghezza di una formula
• Valutazione
• Valutazione che verifica / soddisfa una formula
• Soddisfacibilità, validità, insoddisfacibilità
• Conseguenza logica
• Letterale
• DNF
• CNF
• Insiemi completi di connettivi
• Rango
• Coppie complementari
• Rami di un tableau
• Hintikka-Set
• Dimostrazione