Haladó szintre hozó kurzus/1

A MathWikiből
A lap korábbi változatát látod, amilyen Mozo (vitalap | szerkesztései) 2016. június 28., 19:56-kor történt szerkesztése után volt.
Ez az szócikk a Haladó szintre hozó szócikk alszócikke.

Kijelentéslogika

1. Igazoljuk igazságtáblázattal, hogy a következő kijelentések mindig igazak:

p\Rightarrow(p\vee q), q\Rightarrow(p\vee q) (a "vagy" alaptulajdonsága)
(p\wedge (\neg p))\Rightarrow q (a "hamisból" minden következik)
(p\vee \neg p)\Rightarrow q (az "igaz" mindenből következik)
[(p\Rightarrow r) \wedge (q\Rightarrow r)\wedge (p\vee q)]\Rightarrow r (az esetszétválasztás szabálya)


Haladó szintre hozó 2. téma
Személyes eszközök