tautologiškumas

Tautologiškumas – loginė išraiška, kuri visada yra teisinga, nepriklausomai nuo į ją įtrauktų teiginių reikšmių.

Pavyzdžiai:
1. "Lijus arba nelijus" – formaliai: \( p \lor \neg p \).
2. "Jeigu saulėta, tai saulėta" – formaliai: \( p \to p \).
3. "Jeigu lyja, ir lyja, tai lyja" – formaliai: \( (p \land p) \to p \).

Tautologijos patvirtinamos tiesos lentelėmis – visų galimų reikšmių stulpelis išreiškia visada 1 (teisinga).

Įrašas
Paaiškinimas	Tautologiškumas – loginė išraiška, kuri visada yra teisinga, nepriklausomai nuo į ją įtrauktų teiginių reikšmių. Pavyzdžiai: 1. "Lijus arba nelijus" – formaliai: \( p \lor \neg p \). 2. "Jeigu saulėta, tai saulėta" – formaliai: \( p \to p \). 3. "Jeigu lyja, ir lyja, tai lyja" – formaliai: \( (p \land p) \to p \). Tautologijos patvirtinamos tiesos lentelėmis – visų galimų reikšmių stulpelis išreiškia visada 1 (teisinga).
	Išsaugoti

Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.