Matematika A1a 2008/1. gyakorlat
A MathWikiből
(Változatok közti eltérés)
Mozo (vitalap | szerkesztései) |
Mozo (vitalap | szerkesztései) (→Következtetések) |
||
| 5. sor: | 5. sor: | ||
A helyes következtetések listája elég nagy, ám vannak bizonyos tekintetben alapvetőnek tekinthető kövekeztetések, melyeket könnyen lehet kategorizálni a ''bevezetési'' és ''kiküszöbölési szabályok'' szerint. A legegyszerűbb eset az ''és'' mondatoperátorral összekötött összetett mondatokra vonatkozó bevezetési és kiküszöbölési szabály. | A helyes következtetések listája elég nagy, ám vannak bizonyos tekintetben alapvetőnek tekinthető kövekeztetések, melyeket könnyen lehet kategorizálni a ''bevezetési'' és ''kiküszöbölési szabályok'' szerint. A legegyszerűbb eset az ''és'' mondatoperátorral összekötött összetett mondatokra vonatkozó bevezetési és kiküszöbölési szabály. | ||
| − | :<math>\frac{A\wedge B}{A},\quad\quad\frac{A\wedge B}{B} | + | :<math>\frac{A\wedge B}{A},\quad\quad\frac{A\wedge B}{B}</math> |
A lap 2008. szeptember 2., 20:03-kori változata
Következtetések
Ha A1, A2, ..., An, B mondatok, akkor azt mondjuk, hogy az
szimbólummal jelölt következtetés helyes, ha minden olyan esetben, amikor az A1, A2, ..., An mondatok (az úgy nevezett premisszák vagy feltételek) mindegyike igaz, akkor a B mondat, azaz a konkúzió (következmény) is igaz.
A helyes következtetések listája elég nagy, ám vannak bizonyos tekintetben alapvetőnek tekinthető kövekeztetések, melyeket könnyen lehet kategorizálni a bevezetési és kiküszöbölési szabályok szerint. A legegyszerűbb eset az és mondatoperátorral összekötött összetett mondatokra vonatkozó bevezetési és kiküszöbölési szabály.
