48922 Scan0005 (4)

12 Funktory i formuły

1.2.1 Funktory jednoargumentowe (unarne)

W poniższej tablicy podano wszystkie funktory jednoargumentowe.

p	0	1	symbol	znaczenie	nazwa
1	0	0
2	0	1
3	1	0	~ p	nie p	negacja
4	1	1

Komentarz:

• negacja (zaprzeczenie) zdania jest prawdziwa, gdy zdanie jest fałszywe i fałszywa, gdy zdanie jest prawdziwe.

1.2.2 Funktory dwuargumentowe (binarne)

W poniższej tablicy podano wszystkie funktory dwuargumentowe.

pq	00	01	10	11	symbol	znaczenie	nazwa
1	0	0	0	0
2	0	0	0	1	pAq	P i Q	koniunkcja
3	0	0	1	0
4	0	0	1	1
5	0	1	0	0
6	0	1	0	1
7	0	1	1	0	p®q	albo p, albo q	nierównoważność
8	0	1	1	1	pV q	p lub q	alternatywa
9	1	0	0	0	p iq	ani p, ani q	binegacja
10	1	0	0	1	po q	p wtw, gdy q	równoważność
11	1	0	1	0
12	1	0	1	1
13	1	1	0	0
14	1	1	0	1	po q	jeżeli p, to q	implikacja
15	1	1	1	0	p 1 q	nie p lub nie q	dysjunkcja Sheffera
16	1	1	1	1

Komentarz:

• koniunkcja (iloczyn logiczny) jest prawdziwa, gdy oba jej czynniki są prawdziwe,