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,
Wyszukiwarka
Podobne podstrony:
Scan0005 (4) 12 Funktory i formuły1.2.1 Funktory jednoargumentowe (unarne) W poniższej tablicy podan
Scan0009 (2) 16 Funktory i formuły • p <=> q = (p => q) A (q => p) = (
Scan0007 (3) 14 Funktory i formuły1.4 Logiczna równoważność Definicja 1.4 Dwie formuły A i B nazywam
64348 Scan0011 18 Funktory i formuły 1.7.2 Metoda tablic wartości logicznych Postać dpn tworzymy bio
img074 01 djvu 12. Mnożenie i formuła mnożenia 15. III. 1944 r. Jacek liczy kółeczka na tabliczce se
więcej podobnych podstron