Author's photo
Ladislav S.
matematika

výroková logika

Prosím o vyriešenie nasledujúceho príkladu:
Dokážte formálnu správnosť/nesprávnosť argumentu:
p∧¬ q ,a dokázať, že p

Vďaka

2 odpovede
Nerozumiem celkom tomu zadaniu..
Mohlo vy byť formulované tak, že ak platí zložený výrok - konjunkcia, potom platí aj výrok p?
Vedela by som to pomocou logickej tabuľky,
Alebo máte využívať nejaké pravidlá logického úsudku? (Niečo ako napríklad modus ponens?
V tom sa až tak nevyznám...). Ak stačí tabu2ka, ta sa ozvite , pošlem vám to...
Tu treba ist prave cez tie pravidla log.usudku, modus ponens, modus tolens a pod...ale dakujem za ochotu.
Komentáre:
Anna S.
To som kedysi vedela - pred 40 rokmi som to mala na VŠ. Skúsim si spomenúť .. :-)