 |
ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
 Wysłany: Śro 7:07, 19 Lip 2017 Temat postu: |
|
|
|
Ok to jak myślisz "jeżeli ktoś jest mordercą, to ma rodziców" jest prawdziwe czy nie?
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 23:13, 19 Lip 2017 Temat postu: |
|
|
| fiklit napisał: | | Ok to jak myślisz "jeżeli ktoś jest mordercą, to ma rodziców" jest prawdziwe czy nie? |
To zdanie to pestka dla 5-cio latków bo!
5-cio latki bez problemu znają podstawowe definicje znaczków =>, ~>, i ~~> oraz prawa Kubusia o których matematycy ani me, ani be ani kukuryku.
Te definicje!
Relacje klasyczne między zbiorami:
1.
Definicja kwantyfikatora małego ~~>:
p~~>q = p*q
Definicja kwantyfikatora małego ~~> spełniona wtedy i tylko wtedy gdy istnieje co najmniej jeden element wspólny zbiorów p i q
p~~>q = p*q =[x] =1 - gdy zbiór wynikowy niepusty
p~~>q = p*q =[] =0 - gdy zbiór wynikowy pusty
2.
Definicja podzbioru p=>q (warunku wystarczającego =>):
p=>q
Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy każdy element zbioru p należy do zbioru q
Definicja warunku wystarczającego =>:
Definicja warunku wystarczającego => spełniona wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q
Podzbiór => = Warunek wystarczający =>
Rozstrzygnięcia logiczne:
p=>q =1 - gdy p jest podzbiorem =>q
p=>q =0 - gdy p nie jest podzbiorem => q
3.
Definicja nadzbioru p~>q (warunku koniecznego ~>):
p~>q
Zbiór p jest nadzbiorem ~> zbioru q wtedy i tylko wtedy gdy zawiera co najmniej wszystkie elementy zbioru q
Definicja warunku koniecznego ~>:
Definicja warunku koniecznego spełniona wtedy i tylko wtedy gdy zbiór p jest nadzbiorem ~> zbioru q
Nadzbiór ~> = Warunek konieczny ~>
Rozstrzygnięcia:
p~>q =1 - gdy p jest nadzbiorem ~> q
p~>q =0 - gdy p nie jest nadzbiorem ~> q
4.
Definicja tożsamości zbiorów A=B:
Dwa zbiory A i B są tożsame wtedy i tylko wtedy gdy każdy element zbioru A należy do zbioru B i odwrotnie.
A=B <=> (A=>B)*(B=>A)
Udajmy się do przedszkola!
A.
Jeśli ktoś jest mordercą to na 100% ma rodziców
M=>R =1
Definicja warunku wystarczającego => spełniona bo każdy człowiek ma rodziców
Kontrprzykład:
B.
Jeśli ktoś jest mordercą to może ~~> nie mieć rodziców
M~~>~R = M*~R =M*[] =[] =0
Zbiór ludzi którzy nie mają rodziców jest zbiorem pustym []:
~R=[]
… a jeśli ktoś nie jest mordercą?
Prawo Kubusia:
(M=>R) = ~M~>~R
C.
Jeśli ktoś nie jest mordercą to może ~> nie mieć rodziców
~M~>~R =1
Nie bycie mordercą jest warunkiem koniecznym ~> aby nie mieć rodziców bo jak się jest mordercą to na 100% ma się rodziców
Prawo Kubusia samo nam tu wyskoczyło:
~M~>~R = M=>R
lub
D.
Jeśli ktoś nie jest mordercą to może ~~> mieć rodziców
~M~~>R = ~M*R =1 - przypadek możliwy
Zdanie odwrotne:
A.
Jeśli ktoś ma rodziców to może być mordercą
R~>M =1
Definicja warunku koniecznego ~> spełniona bo posiadanie rodziców jest warunkiem koniecznym ~> aby zostać mordercą
LUB
B.
Jeśli ktoś ma rodziców to może ~~> nie być mordercą
R~~>~M = R*~M =1 - przypadek możliwy
Prawo Kubusia:
R~>M = ~R=>~M
C.
Jeśli kto nie ma rodziców to na 100% nie jest mordercą
~R=>~M =1
Jak nie ma rodziców to nie istnieje zatem zdanie prawdziwe
Tu pozornie nie jest spełnione prawa Kobry.
Prawo Kobry:
Warunkiem koniecznym prawdziwości dowolnego zdania warunkowego „Jeśli p to q” jest jego prawdziwość pod kwantyfikatorem małym
~R~~>~M = ~R*~M = []*~M =0
Jak ktoś nie ma rodziców to jest poza naszym Wszechświatem i oczywistym jest że nie może zamordować, dlatego zdanie C jest prawdziwe.
Kontrprzykład:
D.
Jeśli kto nie ma rodziców to może ~~> być mordercą
~R~~>M = ~R*M = []*M =[] =0
Człowiek nie mający rodziców jest zbiorem pustym:
~R=[]
Ostatnio zmieniony przez rafal3006 dnia Czw 8:31, 20 Lip 2017, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
|
|
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
