Formuła logiczna: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m →Rachunek zdań: drobne techniczne |
|||
Linia 6:
===Przykłady===
Wbrew definicji formalnej, w sytuacjach, gdy nie prowadzi to do nieporozumień, część nawiasów w formule opuszcza się. Przykładowo, zgodnie z definicją formalną wyrażenie :<math>(p \vee q \vee r)</math> nie jest formułą
(formułą byłoby np. wyrażenie <math>((p \vee q) \vee r))</math>, lecz interpretacja takiej formuły jest jednoznaczna i wewnętrzne nawiasy w praktyce pomija się.buhahahaha
==Rachunek kwantyfikatorów==
| |||