Quebab napisał(a):Pytania:Rafal3006 napisał(a):Myślę że zgodzisz się, iż dokładnie to powiedziałeś.Tak, to jest prawda, ale jest to co najwyżej definicja ALTERNATYWY, nie samego znaczka "+"! A w samych rachunkach jest to, jak sam zapisałeś, RÓWNOWAŻNOŚĆ.
Zapiszmy twoją wypowiedź w notacji formalnej:
(p lub q)=1 <=> (p=1 i q=1) lub (p=1 i q=0) lub (p=0 i q=1)
MOJE rozróżnienie:
1.
Symbol "+" ("v") - symbol SPÓJNIKA, który łączy dwa zdania tworząc nowe zdanie - złożone, będące alternatywą.
2.
Alternatywa - ZDANIE złożone, połączone funktorem "lub", którego prawdziwość zależy od prawdziwości zdań składowych.
Alternatywa jest fałszywa wtw, gdy oba zdania składowe są fałszywe; w pozostałych przypadkach jest prawdziwa.
1.
Quebab napisał(a):Symbol "+" ("v") - symbol SPÓJNIKA, który łączy dwa zdania tworząc nowe zdanie - złożone, będące alternatywą.Jak się w tym przypadku ten spójnik nazywa?
Czy ten spójnik ma swój odpowiednik w naturalnym języku mówionym czy nie ma?
Ja się pytam jaki jest odpowiednik tego symbolu „+” („v” w naturalnym języku mówionym!
2.
Quebab napisał(a):Alternatywa - ZDANIE złożone, połączone funktorem "lub", którego prawdziwość zależy od prawdziwości zdań składowych.czyli:
Alternatywa jest fałszywa wtw, gdy oba zdania składowe są fałszywe; w pozostałych przypadkach jest prawdziwa.
Funktor „lub” = operator OR
Skoro „lub” jest według ciebie operatorem OR (wszystkie cztery linie definicji zero-jedynkowej).
To jak nazwać spójnik „+” („v” z punktu 1?
Quebabie, po co ci takie pojęcie jak „ZDANIE” z naturalnego języka mówionego?
Jak dołączysz pojęcie „zdanie” to lądujesz w fizyce a nie w matematyce.
W matematyce wystarczą definicje spójników „i”(*) i „lub”(+) z naturalnego języka mówionego w tej postaci.
Definicja spójnika „i”(*):
Iloczyn logiczny, spójnik „i”(*) n-zmiennych binarnych jest równy 1 wtedy i tylko wtedy gdy wszystkie zmienne są równe 1
Y=p*q
Y=1 <=> p=1 i q=1
Definicja spójnika „lub”(+):
Suma logiczna, spójnik „lub”(+) n-zmiennych binarnych jest równa 1 wtedy i tylko wtedy gdy którakolwiek zmienne jest równa 1
Y=p+q
Y=1 <=>p=1 lub q=1
Weźmy definicję zero-jedynkową operatora OR:
Kod:
p q Y=p+q
1 1 =1
1 0 =1
0 1 =1
0 0 =0
Y=1<=> (p=1 i q=1) lub (p=1 i q=0) lub (p=0 i q=1)
TAK/NIE
Sprowadzamy wszystkie zmienne do jedynek na mocy prawa algebry Boole’a:
Jeśli p=0 to ~p=1
czyli:
Y=1 <=> (p=1 i q=1) lub (p=1 i ~q=1) lub (~p=1 i q=1)
Korzystając z definicji wyżej mamy równanie algebry Boole’a opisujące WYŁĄCZNIE wynikowe jedynki w powyższej tabeli:
Y = p*q + p*~q + ~p*q
Czy zgadzasz się że ZERO w tej definicji opisuje zupełnie inne równanie:
Y=0 <=> p=0 i q=0
TAK/NIE
Sprowadzamy zmienne do jedynek:
~Y =1 <=> ~p=1 i ~q=1
Stąd równanie algebry Boole’a opisujące wyłącznie ostatnią linię tabeli zero-jedynkowej:
~Y=~p*~q
Czy zgadzasz się że zachodzi:
Y=1 # Y=0
Y # ~Y
TAK/NIE