Obsah fóra
Pravidlá • Registrovať • Prihlásenie

Obsah fóra » Ostatné » Diskusia » Vzdelanie, štúdium, škola » Logika





Odpovedať na tému Stránka: 1 z 1
 [ Príspevok: 1 ] 
AutorSpráva
Offline Setton

Užívateľ
Užívateľ
Logika

Registrovaný: 15.05.07
Prihlásený: 21.11.15
Príspevky: 63
Témy: 11
Bydlisko: Snina
Príspevok NapísalOffline Setton: 04.10.2013 19:28

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ť?


Odpovedať na tému Stránka: 1 z 1
 [ Príspevok: 1 ] 

Obsah fóra » Ostatné » Diskusia » Vzdelanie, štúdium, škola » Logika


Podobné témy

 Témy  Odpovede  Zobrazenia  Posledný príspevok 
V tomto fóre nie sú ďalšie neprečítané témy. Logika vo vysledkoch

v Ostatné

8

377

20.11.2014 4:10

JanoF Zobrazenie posledných príspevkov

V tomto fóre nie sú ďalšie neprečítané témy. Logika pripojenia k MySQL

v PHP, ASP

25

1624

09.12.2009 23:13

p360t Zobrazenie posledných príspevkov

V tomto fóre nie sú ďalšie neprečítané témy. „Bublinková logika“ pre laboratóriá na čipe

v Novinky

1

304

20.02.2007 15:03

OmeGa Zobrazenie posledných príspevkov


Nemôžete zakladať nové témy v tomto fóre
Nemôžete odpovedať na témy v tomto fóre
Nemôžete upravovať svoje príspevky v tomto fóre
Nemôžete mazať svoje príspevky v tomto fóre

Skočiť na:  

Powered by phpBB Jarvis © 2005 - 2024 PCforum, webhosting by WebSupport, secured by GeoTrust, edited by JanoF
Ako väčšina webových stránok aj my používame cookies. Zotrvaním na webovej stránke súhlasíte, že ich môžeme používať.
Všeobecné podmienky, spracovanie osobných údajov a pravidlá fóra