Zdanie logiczne: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
lit. |
→Przykłady i własności: Usunięto nieprawidłowy przykład. Znaczniki: Z urządzenia mobilnego Z wersji mobilnej (przeglądarkowej) |
||
Linia 29:
* Następujące ciągi symboli są zdaniami naszego rachunku zdań: <math>\big((p_0\wedge p_0)\vee p_0)\big)</math>, <math>\big((p_1\Rightarrow p_2)\Leftrightarrow \neg p_3\big)</math>, <math>\neg p_{889}</math>.
* Często dla poprawienia czytelności naszych napisów omijamy pewne nawiasy i piszemy np <math>p_0\vee p_1</math> zamiast <math>(p_0\vee p_1)</math>. Istnieją również umowy co do kolejności wykonywanych operacji pozwalające na jeszcze poważniejsze omijanie nawiasów. Jednak ściśle biorąc nawiasy są potrzebne czy nawet niezbędne i lepiej jest je wszystkie zanotować niż zbyt wiele ominąć.
* Następujące ciągi symboli '''nie''' są zdaniami naszego rachunku zdań: <math>p_0\wedge
* Jeśli każdej zmiennej zdaniowej przyporządkujemy jakąś [[wartość logiczna|wartość logiczną]], to przyporządkowanie jest rozszerzane na wszystkie zdania (przez indukcję po złożoności zdania). Niektóre zdania otrzymają wartość logiczną '''prawda''' bez względu na to jakie jest początkowe przyporządkowanie. Takie zdania nazywamy [[Tautologia (logika)|tautologiami rachunku zdań]]. Przykładami tautologii są <math>(p_0\vee \neg p_0)</math> i <math>\big((p_0\wedge p_0)\Rightarrow p_0)\big)</math>.
* Skończone ciągi zdań mogą utworzyć [[Dowód (matematyka)|dowód]].
| |||