Ovláda niekto subjekt-predikátovú logiku? Snažím sa trošku sa do toho dostať v rámci samoštúdia a skúšam dokázať, že z dvoch premís vyplýva úsudok:
Citácia:
Žiaden cicavec nemá žiabre. (MeP)
Všetky veľryby sú cicavce. (SaM)
_____________________________
Žiadna veľryba nemá žiabre (SeP)
V množinovej teórii by teda malo platiť, že
M ∩ P = ∅
S ∩ M = S
Niekde na konci by malo vyjsť, že S ∩ P = ∅ - ako sa k tomu z predošlých dvoch predpokladov dopracovať?
