Zdanie logiczne: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
→Przykłady zdań:: drobne merytoryczne: poprawa przykładów (ale czy są one rzeczywiście potrzebne?) |
→Zdania w rachunku zdań: drobne merytoryczne |
||
Linia 33:
* Następujące ciągi symboli '''nie''' są zdaniami naszego rachunku zdań: <math>p_0\wedge)</math>, <math>(p_1)</math>, <math>\vee p_{889}</math>.
* 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|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]].
== Podział zdań ==
* Zdania proste - w których nie występuje żaden spójnik
* Zdanie złożone - w których występuje co najmniej jeden spójnik
==Zdania w rachunku kwantyfikatorów==
| |||