20532

5) musi być zbudowane zgodnie z zasadami gramatycznymi obowiązującymi w danym języku;

Zdania logiczne oznacza się zwykle symbolami: p, q (i jak trzeba, to więcej liter alfabetu)

3) Rachunek zdań logicznych

Koniunkcja: symbol: „^A", czyta się go jako ,4”

Koniunkcja jest prawdziwa, gdy oba jej elementy są prawdziwe; w innym przypadku jest ona fałszywa;

_E_	_g_	p^Aq
	1	i
1	0	0
0	1	0
0	0	0

Alternatywa: symbol: „ v”, czytaj: „lub”

By alternatywa była prawdziwa, wystarczy, by jeden z jej elementów był prawdziwy;

_P_	_g_	pyg
1	1	1
i	0	i
0	1	i
0	0	0

Implikacja: symbol:    czytaj: „jeśli...„to...”

Implikacja jest fałszywa, gdy z prawdy wynika fałsz; w innych przypadkach jest ona prawdziwa;

P	q	p -> q
i	i	1
1	0	0
0	i	l
0	0	l

Implikacja:

Zdanie p to poprzednik (przesłanka) Zdanie q to następnik (wniosek)

Negacja : symbol: „ ~”; czytaj: „nieprawda, że...