day after day
Blog > Komentarze do wpisu
logika dla początkujących
Logika jest fajna i łatwa do zrozumienia,jeśli tylko ktoś będzie chciał i potrafił wytłumaczyć, mnie wytłumaczono ale już pozapominałem,więc sobie przypominam :)
Funktory :
prawda 1 fałsz 0
funktor negacji ~ nieprawda, że p
funktor koniunkcji p /\ q p i q
funktor alternatywy nierozłącznej p \/ q p lub q
funktor alternatywy rozłącznej p _|_ q albo p albo q
funktor dysjunkcji p / q p bądź q
funktor równoważności p <=> q p wtedy i tylko wtedy,gdy q
funktor implikacji p => q jeżeli p,to q
*********************************************************************
negacja ( nieprawda że )
p ~p ( ~p można czytać: nie p )
1 0
0 1
wytłumaczenie po ludzku: jeśli p jest prawdą to ~p jest fałszemi oczywiście odwrotnie jeśli ~p jest prawdą to p jest fałszem, proste i logiczne :)
jeszcze prościej, no jeśli p czyli: artur jest dobry chłopak jest prawda,
to ~p ( nie p )czyli: artur nie jest dobry chłopak jest fałszem ( zresztą zgodnie z prawdą ;))
********************************************************************
alternatywa nierozłączna p \/ q ( lub )
p q p \/ q
1 1 1
to znaczy, jeśli p jest prawda, q jest prawda, to p\/q jest prawda ???? po ludzku!!!! , proszę bardzo:
p oznacza: artur ogląda tv
q oznacza: artur siedzi w domu
p\/q czyta się: artur ogląda tv lub artur siedzi w domu
w tym wypadku p jest 1 czyli prawda, q jest 1 czyli prawda, więc stwierdzenie artur ogląda tv lub artur siedzi w domu jest oczywiście prawdziwe, czyli p\/q jest prawdą
zupełnie proste:)
p q p \/ q
1 0 1
to znaczy, jeśli p jest prawda,q jest fałsz,to p \/ q jest prawda dlaczego? już mówię:
p artur ogląda tv ( prawda )
q artur siedzi w domu ( fałsz )
jeżeli oglądam tv w knajpie, to stwierdzenie: artur ogląda tvlub artur siedzi w domu jest prawdziwe , czyż nie tak?
p q p \/ q
0 1 1
p artur ogląda tv ( fałsz )
q artur siedzi w domu ( prawda )
sytuacja analogiczna do poprzedniej stwierdzenie p \/ q jest prawdą, nawet jeżeli tylko siedzę w domu przy wyłączonym tv.
p q p \/ q
0 0 0
tu sytuacja jest jasna,nie oglądam tv ( p ),i nie ma mnie w domu ( q ),
alternatywa nierozłączna p \/ q jest fałszem, jeżeli p jest fałsz i q jest fałsz
tak to jest z funktorem lub ( \/ ) aby alternatywa nierozłączna była prawdą wystarczy aby jedno ze zdań było prawdą :)
alternatywa nierozłączna p \/ q ( lub )
p q p \/ q
1 1 1
p q p \/ q
1 0 1
p q p \/ q
0 1 1
p q p \/ q
0 0 0
PS.Jak by ktoś chciał dalej .to proszę dać znać, z chęcią sobie dalej poprzypominam :)
PS.No i jesteśmu na Mistrzostwach Europy, hura!!!
sobota, 17 listopada 2007, arczi.a
poleć znajomemu » śledź komentarze (rss) »
Pisz blog
Dodaj blog do ulubionych
Wersja mobilna