Haladó szintre hozó kurzus/1

A MathWikiből

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

A lap 2016. június 28., 20:57-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:

a) $p\Rightarrow(p\vee q),$ $q\Rightarrow(p\vee q)$ (a "vagy" alaptulajdonsága)

b) $(p\wedge (\neg p))\Rightarrow q$ (a "hamisból" minden következik)

c) $(p\vee (\neg p))\Rightarrow q$ (az "igaz" mindenből következik)

d) $[(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>q\Rightarrow(p\vee q)</math> (a "vagy" alaptulajdonsága)
+:a) <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)
+:b) <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)
+:c) <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)
+:d) <math>[(p\Rightarrow r) \wedge (q\Rightarrow r)\wedge (p\vee q)]\Rightarrow r</math> (az esetszétválasztás szabálya)