podwójnego przeczenia ~(~p)p Prawa de Morgana ~(p^q)~pv~q ~(pvq)~p^ ~q Zasada dowodu nie wprost ~(pq)(p^ ~q...
podwójnego przeczenia ~(~p)p Prawa de Morgana ~(p^q)~pv~q ~(pvq)~p^ ~q Zasada dowodu nie wprost ~(pq)(p^ ~q...
Ważniejsze prawa rachunku zdań (tautologie): • Prawo podwójnego przeczenia: • Prawa de Morgana: ~ (~ p) ⇔ p...
¬(P∧¬P) Prawo podwójnego przeczenia P ¬P ¬¬P ¬¬P P 1 0 1 1 0 1 0 1 Jeśli nieprawda, że nie P to P ¬¬P...
nie); jest to prawo podwójnego przeczenia, np. Jan jest prawnikiem = nieprawda, że Jan nie jest prawnikiem p ~ p V F F...
są prawdziwe czy fałszywe. Twierdzenia. 1. Prawo podwójnego przeczenia. ~(~p) ⇔ p 2. Prawo łączności koniunkcji...
Elementy logiki i teorii mnogości Kazimierz Trzęsicki 2006 4 Wyd. II poprawione i zmienione. Wersja elektroniczna. Spis treści 1 Logika zdań 11 1.1 Pojęcie logiki . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.2 Język logiki zdań . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.2....
