Haladó szintre hozó kurzus/1

A MathWikiből
(Változatok közti eltérés)
(Kijelentéslogika)
(Kijelentéslogika)
4. sor: 4. sor:
  
 
'''1. ''' Igazoljuk igazságtáblázattal, hogy a következő kijelentések mindig igazak:
 
'''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)
  
  

A lap 2016. június 28., 19:57-kori változata

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:

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
Személyes eszközök