 |
Ś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ść |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Śro 8:18, 12 Mar 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11100.html#835343
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11100.html#835295
| Irbisol napisał: | Sam rozpisywałeś tabelki dla <=> - dopiero co sprawdzałem. Więc masz wartościowanie. Wszystko ci się już pierdzieli.
Dla jakich A i S ta równoważność jest fałszem?
Możesz ew. rozpisać to sobie jako =>*<=, co tak bardzo lubisz.
(A <=> S) <=> (~A <=> ~S) = 0
((A <=> S) => (~A <=> ~S)) * ((A <=> S) <= (~A <=> ~S)) = 0
Wg ciebie przynajmniej jeden ze składników koniunkcji wyżej jest fałszem.
Który? |
Weźmy to wytłuszczone.
Dla schematu sterowania żarówką przyciskiem S zachdzi:
A=S # ~A=~S
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Stąd minimalizujemy twój wytłuszczony zapis:
A<=>~A =0
Zgadzasz się z tym faktem płaskoziemcze?
P.S.
O tym schemacie mówimy
| Kod: |
S3 Schemat 3
Fizyczna realizacja równoważności A<=>S w zdarzeniach:
A1: A=>S =1 - wciśnięcie A jest (=1) wystarczające => dla świecenia S
B1: A~>S =1 - wciśnięcie A jest (=1) konieczne ~> dla świecenia S
A1B1: A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1 – zapis aktualny (przykład)
;
A1B1: p<=>q=(A1: p=>q)*(B1: p~>q)=1*1=1 – zapis formalny
Punkt odniesienia:
p=A - przycisk A
q=S - żarówka S
S A
------------- ______
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
Zmienne związane definicją: A, S
Zmienna wolna: brak, nie ma żadnych innych przycisków z wyjątkiem A
Istotą równoważności jest brak zmiennych wolnych
|
Definicja zmiennej związanej:
Zmienna związana to zmienna występujące w układzie uwzględniona w opisie matematycznym układu.
Zmienna związana z definicji jest ustawiana na 0 albo 1 przez człowieka.
Definicja zmiennej wolnej:
Zmienna wolna to zmienna występująca w układzie, ale nie uwzględniona w opisie matematycznym układu.
Zmienna wolna z definicji może być ustawiana na 0 albo 1 poza kontrolą człowieka.
W układzie S3 nie ma zmiennej wolnej.
Matematycznie jest kompletnie bez znaczenia czy zmienna związana A będzie pojedynczym przyciskiem, czy też dowolną funkcją logiczną f(x) zbudowaną z n przycisków, byleby dało się ustawić:
f(x) =1
oraz
f(x)=0
bowiem z definicji funkcja logiczna f(x) musi być układem zastępczym pojedynczego przycisku A, gdzie daje się ustawić zarówno A=1 jak i A=0.
Przykład:
f(x) = C+D*(E+~F)
Gdzie:
C, D, E - przyciski normalnie rozwarte
~F - przycisk normalnie zwarty
Dokładnie z powyższego powodu w stosunku do układu S3 możemy powiedzieć, iż jest to fizyczny układ minimalny równoważności A<=>S
|
|
| 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
