Haladó szintre hozó kurzus/1

A MathWikiből

(Változatok közti eltérés)

A lap 2016. június 28., 20:56-kori változata

Ez az szócikk a Haladó szintre hozó szócikk alszócikke.

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

@@ 4. sor: / 4. sor: @@
 '''1. ''' Igazoljuk igazságtáblázattal, hogy a következő kijelentések mindig igazak:
-:<math>p\Rightarrow(p\vee q)</math>
+:<math>p\Rightarrow(p\vee q),</math> <math>q\Rightarrow(p\vee q)</math> (a "vagy" alaptulajdonsága)
+:<math>(p\wedge (\neg p))\Rightarrow q</math> (a "hamisból" minden következik)
+:<math>(p\vee \neg p)\Rightarrow q</math> (az "igaz" mindenből következik)
+:<math>[(p\Rightarrow r) \wedge (q\Rightarrow r)\wedge (p\vee q)]\Rightarrow r</math> (az esetszétválasztás szabálya)
 <center>