Simboli

	and	congiunzione
	or	disgiunzione
	not	negazione
¬	not	negazione
		implicazione
	implicato	implicazione inversa
	iff	equivalenza
	ogni	quantificatore universale
	esiste	quantificatore esistenziale
	membro	appartenenza
		unione
		freccia destra
		modello
		asserts
	theta
	lambda

Connettivi vero-funzionali

I connettivi vero-funzionali traducono nel linguaggio oggetto quelle parole che nel linguaggio naturale evidenziano i nessi logici e quelli inferenziali.

Esempio:

"Giovanni legge un libro e ascolta della musica"

diventa:

A B

Esiste un ordine di precedenza fra i connettivi per eliminare le parentesi. Questo ordine, da quello che lega più fortemente a quello meno, è:

diventa:

I connettivi vengono detti "vero-funzionali" perché il valore di verità di una proposizione complessa (ottenuta cioè con l'unione di più proposizioni atomiche mediante uno o più connettivi) viene completamente determinato dal valore di verità delle proposizioni che la compongono secondo regole precise che vengono schematizzate con le cosiddette tavole di verità.