Einfuehrung in die A.. - Mathematik
Einfuehrung in die A.. - Mathematik
Einfuehrung in die A.. - Mathematik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Die Aussageform soll vere<strong>in</strong>facht werden:<br />
( M H ) ( H v M) ( ¬ H v M)<br />
( M H) ( H v M) ( H M)<br />
( M H) ( H v M )<br />
[ ( M H ) v ( M v H ) ] ( H v M )<br />
[ ( M H ) ( H v M ) ] v ( (M v H) ( H v M))<br />
(9)<br />
( M H) (H v M )<br />
(3)<br />
[ ( M H) H] v [ ( M H) M]<br />
(1&2)<br />
[ M ( H H) ] v [ ( M M ) M ) ]<br />
( M H ) v ( M H )<br />
M H<br />
11<br />
(5)<br />
13<br />
3<br />
M (5) M (5)<br />
12<br />
F ( falsch) 7