Podstawy logiki - zdania i funktory
Zdanie logiczne to wypowiedź, której możesz przypisać wartość prawdy (1) lub fałszu (0). Na przykład "1=2" to zdanie fałszywe, a "Warszawa to stolica Polski" to zdanie prawdziwe.
Pojedyncze zdania łączysz funktorami zdaniotwórczymi, tworząc zdania złożone. Najważniejsze funktory to: negacja p−"nieprawda,z˙ep", alternatywa p∨q−"plubq" oraz koniunkcja p∧q−"piq".
Negacja po prostu odwraca wartość logiczną - jeśli p jest prawdziwe, to ~p jest fałszywe. Alternatywa jest prawdziwa, gdy przynajmniej jedno ze zdań jest prawdziwe. Koniunkcja jest prawdziwa tylko wtedy, gdy oba zdania są prawdziwe.
💡 Zapamiętaj: Koniunkcja to "i" (oba warunki muszą być spełnione), alternatywa to "lub" (wystarczy jeden warunek).