Koniunkcja zdań p oraz q	p i q zapisujemy p ∧ q
Alternatywa zdań p oraz q	p lub q zapisujemy p ∨ q
Implikacja zdań p oraz q	jeżeli p, to q. Zapisujemy p ⇒ q. Zdanie p to poprzednik implikacji, a zdanie q to następnik imp
Równoważnością zdań p oraz q	p wtedy i tylko wtedy gdy q. Zapisujemy p ⇔ q
twierdzenie odwrotne	q ⇒ p
twierdzenie przeciwne	~p ⇒ ~q
twierdzenie przeciwstawne	~q ⇒ ~p