f. ​ASERACJI ​(“zaiste” “zaprawdę”) f.

​NEGACJI​ ​(“nie” “nieprawda, że”)

p ≈​​p p ~​​p
1 1 1 1

0 0 0 0
Funktory prawdziwościowe dwuargumentowe
f. ​KONIUNKCJI​ ​(“i” “a także” “,”) f. ​BINEGACJI ​(“ani_ani” “ani nie_ ani nie”)

p q p​^​q p q p​↓​q

1 1 1 1 1 0

1 0 0 1 0 0

0 1 0 0 1 0

0 0 0 0 0 1
f. ​ALTERNATYWA ZWYKŁA​ ​(“lub”) f. ​ALTERNATYWA ROZŁĄCZNA​ ​(“albo”)

p q p​v​g p q p​⊥​q

1 1 1 1 1 0

1 0 1 1 0 1

0 1 1 0 1 1

0 0 0 0 0 0
! f.​ ​IMPLIKACJI ​(“jeżeli … to …”) f. ​IMPLIKACJI ODWROTNEJ

p q p​⇒ p q p​⇐​q
q
1 1 1
1 1 1
1 0 1
1 0 0
0 1 0
0 1 1
0 0 1
0 0 1
f. ​RÓWNOWAŻNOŚCI​ ​(“wtedy gdy”)
f. ​DYSJUNKCJI​ ​(“bądź”)
p q p​≡​q
p q p​/​q
1 1 1
1 1 0
1 0 0
1 0 1
0 1 0
0 1 1
0 0 1
0 0 1