MegaMatma: Zdania wzory.

ZAREJESTRUJ SIĘ! Skorzystaj z ponad 7000 zadań z ROZWIĄZANIAMI! Zarejestruj się! Zobacz obszerne artykuły MegaMatmy!

ZAREJESTRUJ SIĘ! Zobacz arkusze maturalne i gimnazjalne z ROZWIĄZANIAMI!

ZAREJESTRUJ SIĘ! Otrzymasz 7 dni dostępu do wszystkich płatnych treści GRATIS! WIOSENNA PROMOCJA!!!

Zrealizuj kod | Mapa serwisu | Rozmiar tekstu: A A A

MegaMatma to E-PODRĘCZNIK na każdy poziom edukacji!!!

Strona główna Uczniowie...Wzory...Logika matematyczna...Zdania wzory....

Zdania wzory.

Wartości logiczne zdań

$p$	$q$	$p\wedge q$	$p\vee q$	$p\underline {\vee} q$	$p\Rightarrow q$	$p\Leftrightarrow q$
$1$	$1$	$1$	$1$	$0$	$1$	$1$
$1$	$0$	$0$	$1$	$1$	$0$	$0$
$0$	$1$	$0$	$1$	$1$	$1$	$0$
$0$	$0$	$0$	$0$	$0$	$1$	$1$

$p$	$\sim p$
$1$	$0$
$0$	$1$

Prawa rachunku zdań

Prawo podwójnego przeczenia	Prawo równoważności
$\sim \left(\sim p\right)\Leftrightarrow p$	$\left(p\Leftrightarrow q\right)\Leftrightarrow \left(\left(p\Rightarrow q\right)<br /> \wedge \left(q\Rightarrow p\right)\right)$
Prawa przemienności koniunkcji i alternatywy	Prawa łączności koniunkcji i alternatywy
$\left(p\wedge q\right)\Leftrightarrow \left(q\wedge p\right)$ $\left(p\vee q\right)\Leftrightarrow \left(q\vee p\right)$	$\left(\left(p\wedge q\right)\wedge r\right)\Leftrightarrow \left(p\wedge \left(q<br /> \wedge r\right)\right)$ $\left(\left(p\vee q\right)\vee r\right)\Leftrightarrow \left(p\vee \left(q\vee r\right)\right)$
Prawo rozdzielności koniunkcji względem alternatywy	Prawo rozdzielności alternatywy względem koniunkcji
$\left(p\wedge \left(q\vee r\right)\right)\Leftrightarrow \left(\left(p\wedge q<br /> \right)\vee \left(p\wedge r\right)\right)$	$\left(p\vee \left(q\wedge r\right)\right)\Leftrightarrow \left(\left(p\vee q\right)<br /> \wedge \left(p\vee r\right)\right)$
Prawo przechodniości implikacji	Prawo transpozycji
$\left(\left(p\Rightarrow q\right)\wedge \left(q\Rightarrow r\right)\right)\Rightarrow<br /> \left(p\Rightarrow r\right)$	$\left(p\Rightarrow q\right)\Leftrightarrow \left(\left(\sim q\right)\Rightarrow<br /> \left(\sim p\right)\right)$
Prawo zaprzeczenia implikacji	Prawo odrywania
$\sim \left(p\Rightarrow q\right)\Leftrightarrow \left(p\wedge \left(\sim q\right)<br /> \right)$	$\left(p\wedge \left(p\Rightarrow q\right)\right)\Rightarrow q$
Prawo de Morgana dla zdań	Prawa idempotentności koniunkcji i alternatywy
$\sim \left(p\vee q\right)\Leftrightarrow \left(\left(\sim p\right)\wedge \left(<br /> \sim q\right)\right)$	$\left(p\wedge p\right)\Leftrightarrow p$ $\left(p\vee p\right)\Leftrightarrow p$

Zamknięty układ twierdzeń

poleć znajomemu drukuj

Majątkowe prawa autorskie do wszystkich treści znajdujących się w serwisie należą do MegaWiedza sp. z o.o.

Prawa autorskie podlegają ochronie przewidzianej w ustawie z dnia 4 lutego 1994 r. o prawie autorskim i prawach pokrewnych.