Stimmt die Aussage?
{F_1,F_1,…,F_n)|=G
G ist Folgerung von F_1,…F_n, wenn die Formel (F_1 und F_2, … , F_n) -> G eine Tautologie ist?
Wenn ja, dann ist die Aussage aus F1 - Aufgabe 4.2.2 doch immer wahr, oder?
Aufgabe : Gilt F|=G oder G|=F?

Dank Euch.

Stimmt die Aussage?

{F_1,F_1,…,F_n)|=G

G ist Folgerung von F_1,…F_n, wenn die Formel (F_1 und F_2, … , F_n) -> G eine Tautologie ist?

welche Aussage?

diese hier?
1. {F_1,F_1,…,F_n)|=G
-> diese kann wahr oder falsch sein

diese hier?
2. G ist Folgerung von F_1,…F_n, wenn die Formel (F_1 und F_2, … , F_n) -> G eine Tautologie ist
-> ja ist wahr

Wenn ja, dann ist die Aussage aus F1 - Aufgabe 4.2.2 doch immer wahr, oder?
Aufgabe : Gilt F|=G oder G|=F?

ich seh da keinen Zusammenhang [img]http://www.fb18.de/gfx/3.gif[/img]