Kontradiktion < Lineare Algebra < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 11:10 Mo 01.11.2004 | | Autor: | Reaper |
Kann ich eigentlich z.b c [mm] \wedge [/mm] F -> bestehend aus (c [mm] \wedge [/mm] c'(nicht))
kurz zusammenfass auf F?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:15 Mo 01.11.2004 | | Autor: | Bastiane |
Hallo Reaper!
Auch hier weiß ich nicht, was du meinst:
> Kann ich eigentlich z.b c [mm]\wedge[/mm] F -> bestehend aus (c
> [mm]\wedge[/mm] c'(nicht))
> kurz zusammenfass auf F?
Also, falls das [mm] F=c\wedge [/mm] (not) c sein soll, kannst du diese Aussage höchstens durch 0 ersetzen, da sie nie wahr ist!
(Wohingegen c [mm] \vee [/mm] (not) c = 1 ist.)
Viele Grüße
Bastiane ![[banane]](/images/smileys/banane.gif "[banane]")
|
|
|
| |
|
| Status: |
(Frage) beantwortet  | | Datum: | 00:10 Di 02.11.2004 | | Autor: | Reaper |
Nein ich wollte eigentlich nur fragen wenn z.b. als Ergebnis einer Termkürzung
= F [mm] \wedge [/mm] c herauskommt ich das Ganze nicht einfach nur als F, sprich Kontradiktion anschreiben kann, da es ja eigentlich logisch wäre ich aber nicht weiß ob es erlaubt ist. Hätte es genauer ausformulieren sollen.
|
|
|
| |
|
Gruß!
Also die Antwort ist "Ja", da lt. Wahrheitstafel natürlich gilt: $c [mm] \wdge [/mm] c = c$ und damit folgt:
$c [mm] \wedge [/mm] F = c [mm] \wedge [/mm] (c [mm] \wedce \neg [/mm] c) = (c [mm] \wedge [/mm] c) [mm] \wedge \neg [/mm] c = c [mm] \wedge \neg [/mm] c = F$
Schönen Tag noch,
Lars
|
|
|
|
