Documente Academic
Documente Profesional
Documente Cultură
Cerine preliminare
10
n
n
12
Modus ponens:
Dac p, atunci q. p. Prin urmare, q.
Dac a plouat, atunci strada este ud. A plouat. Prin urmare,
strada este ud.
Modus tollens:
Dac p, atunci q. Nu q. Prin urmare nu p.
Dac ai nvat, atunci problemele sunt uor de rezolvat.
Problemele nu sunt uor de rezolvat. Prin urmare, nu ai nvat.
Silogismul disjunctiv:
p sau q. Nu p. Prin urmare q.
Rezervorul de benzin este gol sau bateria este descrcat.
Bateria nu este descrcat. Prin urmare, rezervorul este gol.
14
18