Valaki ért itt a Logikához és a logikai feladatok megoldásához?

[link]

Ebből a könyvből kaptuk meg a következő feladatokat:

4.11.3

c.) d.) e.)

5.9.2. [a k.) részfeladatban értelmetlen kifejezések szerepelnek, de formalizálni lehet.]

b.) f.) g.) k.) q.) s.)

5.9.2.

b.) d.) j.)

6.17.2. [a formulákat vissza kell fordítani természetes nyelvi mondatokba]

b.) d.) g.) j.)

6.17.8. [igazságtáblázattal vagy analitikus táblázattal oldjátok meg]

6.17.10. [bármi is a válasz, indoklást várok]

6.17.16. [igazságtáblázattal vagy analitikus táblázattal oldjátok meg]

7.7.2.

c.) f.) g.) h.)

7.7.3.

c.) f.) k.) m.)

7.7.5.

e.) f.) g.)

8.7.2. [mind az a, mind a b, mind pedig a c részfeladatot meg kell oldani ezekre a formulákra]

e.) h.) j.) l.) p.) s.)

8.7.5. [ne felejtsétek el felírni minden konstans szemantikai értékét (név, predikátumok, esetlegesen atomi mondatok]

f.) g.) j.)

9.5.1. [csak a Venn-diagrammos megoldást fogadom el]

b.) h.) i.) j.) l.) n.) s.)

9.5.3. [a feladat azt írja, hogy természetes levezetéssel oldjátok meg a feladatot, ha ez sikerül, akkor az dupla pont; ha

nem, és csak más módon sikerül, akkor szimpla egyszeres pontszám]

d.) f.)

9.5.4. [itt teljesen mindegy milyen módon igazoljátok vagy cáfoljátok az érvényességet]

a.) e.) i.) j.)