czy wyrażenie jest funkcją logiczną
f logiczne ze zmiennymi nazwowymi/wyrazowymi
móimy o zmiennych zdaniowych z f prawdziwo,sciowym
są 3 g. f. logicznych- tautologie,-przy dowolnym podstawieniu f. zdanie prawdziwe, kontrtautologie i f. (?) zmienna)
1 zd prawdziwe
2 zd fałszywe
metoda podstawieniowa- wprost- pierwsza
metoda nie wprost-
prawa logiczne: znać 1-8,12-19
prawo transpozycji- jeśli p to nie q to q to nie p
p
q
nie q
nie p
piq
1
0
1 prawo de Morgana- niewspółfałszywość
nie prawda że (p i q)
nie p i nie q
póq
q i p to nie p- f. spełnialna
p albo q i o to nie q
moce wiązania- najsłabiej wiąże funktor który zarazaem jest główny, jest to zwykle implikacja o ile występuje
r
garindor