Zdanie logiczne: [latex]4 | 1276 Rightarrow ( sqrt{3} in C vee -9 extless -7)[/latex] Zaprzeczenie zdania: [latex]sim [4 | 1276 Rightarrow ( sqrt{3} in C vee -9 extless -7)][/latex] Zastosujemy prawo zaprzeczenia implikacji: [latex]sim(p Rightarrow q) iff (p wedge sim q)[/latex] Stąd otrzymujemy: [latex]4 | 1276 wedge sim ( sqrt{3} in C vee -9 extless -7)[/latex] Zastosujemy II prawo de Morgana, czyli prawo zaprzeczenia alternatywy: [latex]sim(p vee q) iff (sim p wedge sim q)[/latex] Stąd otrzymujemy: [latex]4 | 1276 wedge [sim ( sqrt{3} in C) wedge sim (-9 extless -7)] \\ 4 | 1276 wedge (sqrt{3} otin C wedge -9 geq -7)[/latex] Zatem zaprzeczeniem zdania: [latex]4 | 1276 Rightarrow ( sqrt{3} in C vee -9 extless -7) [/latex] jest zdanie: [latex]4 | 1276 wedge (sqrt{3} otin C wedge -9 geq -7)[/latex] i jest to zdanie fałszywe, bo jego wartość logiczna wynosi 0 (patrz załącznik): [latex]sqrt{3} otin C[/latex] - zdanie prawdziwe, czyli wartość logiczna wynosi 1 [latex]-9 geq -7[/latex] - zdanie fałszywe, czyli wartość logiczna wynosi 0 [latex]sqrt{3} otin C wedge -9 geq -7[/latex] - zdanie fałszywe (koniunkcja jest prawdziwa, gdy oba zdania koniunkcji są prawdziwe), czyli wartość logiczna wynosi 0 [latex]4 | 1276[/latex] - zdanie prawdziwe, wartość logiczna wynosi 1 [latex]4 | 1276 wedge (sqrt{3} otin C wedge -9 geq -7)[/latex] - zdanie fałszywe (koniunkcja jest prawdziwa, gdy oba zdania koniunkcji są prawdziwe), czyli wartość logiczna wynosi 0
