Gültigkeit eines Arguments < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Konstruieren Sie für jedes Argument einen Beweis, der zeigt, dass das Argument gültig ist!
1. (K→R)
(B∧K)
-----------
(R∨T)
2. (R∧(C∧¬F))
((R∨S)→¬W)
--------------
¬W |
Mein Problem ist, das ich nicht weiß wie ich vorgehen soll. Ich habe bisher nur mit 3 Variablen den Gültigkeitsbeweis, mit Hilfe von Wahrheitstabellen, geführt.
Ist es in diesen Fällen das selbe oder gibt es andere Beweismöglichkeiten?
mfg
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:22 Sa 26.01.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
