Implikacja materialna: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
dodałem algorytm implikacji dla języków programowania które nie posiadaja takiego operatora |
dopisanie brakującego elementu |
||
Linia 46:
Można ją jednak uzyskać w następujący sposób:
: <math> a \Rightarrow b = \neg { [ \neg ( a \and b ) ] \and ( a \or b ) \and a }</math>
== Zobacz też ==
| |||