Implikacja materialna: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m r2.7.2) (Robot dodał ar:قضية شرطية |
dodałem algorytm implikacji dla języków programowania które nie posiadaja takiego operatora |
||
Linia 41:
* Zdanie "Z tego, że księżyc jest z sera wynika, że Warszawa jest stolicą Francji" jest w interpretacji intuicjonistycznej fałszywe (bo jedno z drugim nie ma żadnego związku), natomiast w interpretacji klasycznej prawdziwe, bo poprzednik jest fałszywy, więc wynika z niego wszystko.
* Zdanie "Jeśli ''n'' jest podzielne przez 4, to jest podzielne przez 2" jest prawdziwe w obu interpretacjach dla dowolnego ''n''.
== Implikacja w Informatyce ==
W językach programowanie takich jak Java albo C++ nie ma prostego operatora implikacji.
Można ją jednak uzyskać w następujący sposób:
: <math>\neg { [ \neg ( a \and b ) ] \and ( a \or b ) \and a }</math>
== Zobacz też ==
|