6827068750

LOGIKA

Zdanie - każda wypowiedź orzekająca, o której możemy zdecydować czy jest prawdziwa czy fałszywa Zdanie prawdziwe przyjmuje wartość 1 Zdanie fałszywe przyjmuje wartość 0

SPÓJNIK	SYMBOL	NAZWA
^f	A	koniunkcja
lub	V	alternatywa
Jeśli.... to...	->	implikacja
Wtedy, gdy...		równoważność
Nieprawda że...	1	negacja

Tabela koniunkcji

P	Q	P A Q
1	1	1
1	0	0
0	1	0
0	0	0

Tabela implikacji

P	Q	o t 0.
1	1	1
1	0	0
0	1	1
0	0	1

Tabela alternatywy

P	Q	P v Q
1	1	1
1	0	1
0	1	1
0	0	0

Tabela równoważności

P	Q	P~Q
1	1	1
1	0	0
0	1	0
0	0	1