A. Fie următoarele două moduri silogistice: eae-2, iai-3.
1. Scrieţi schema de inferenţă corespunzătoare fiecăruia dintre cele două moduri silogistice date şi construiţi, în limbaj natural, un silogism care să corespundă uneia dintre cele două scheme de inferenţă.
B. Construiţi, atât în limbaj formal cât şi în limbaj natural, un silogism valid, prin care să
justificaţi propoziţia “Unele examene la logică sunt probe dificile”.
Răspunsuri la întrebare
Răspuns:
A. Schema de inferenta pentru modul silogistic eae-2 este:
A → B (Premisa majora)
E → A (Premisa minora)
Schema de inferenta pentru modul silogistic iai-3 este:
A → B (Premisa majora)
¬B → ¬A (Premisa minora)
Un silogism care sa corespunda schemei de inferenta eae-2 ar fi:
Toate examenele la matematica sunt examene dificile (Premisa majora)
Examenul la logica este un examen de matematica (Premisa minora)
Examenul la logica este dificil (Concluzie)
B. In limbaj formal:
P → Q (Unele examene la logica sunt probe dificile)
S → P (Examenul la logica este un examen dificil)
S (Examenul la logica este un examen dificil)
In limbaj natural:
Unele examene la logica sunt probe dificile
Daca examenul la logica este un examen, atunci este dificil
Examenul la logica este dificil
Explicație: