Consistența
Un set de propoziții este consistent dacă este logic posibil ca toate să fie adevărate simultan. Un set de propoziții este LOGIC CONSISTENT ÎN LOGICA PROPOZIȚIONALĂ dacă există cel puțin o linie dintr-un tabel complet de adevăr pe care toate propozițiile sunt adevărate. Altfel este INCONSISITENT ÎN LOGICA PROPOZIȚIONALĂ.
Validitatea
Un argument este valid dacă este imposibil din punct de vedere logic ca premisele să fie adevărate și concluzia să fie în același timp falsă. Un argument este VALID ÎN LOGICA PROPOZIȚIONALĂ dacă nu există un rând al unui tabel de adevăr complet în care premisele sunt toate 1 și concluzia este 0; un argument este INVALID ÎN LOGICA PROPOZIȚIONALĂ dacă există un astfel de rând.
Luați în considerare acest argument:
¬L → (J ˅ L)
¬L
∴ J
Este valid? Pentru a afla, construim un tabel de adevăr.
| J | L | ¬L → (J ˅ L) | ¬L | J | ||||||
| 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |
| 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
Da, argumentul este valid. Singurul rând pe care ambele premise sunt 1 este al doilea rând, iar pe acel rând concluzia este tot 1.
Sursa: Brian Kim, Critical Thinking, licența CC BY 4.0. Traducere și adaptare: Nicolae Sfetcu. © 2023 MultiMedia Publishing, Gândirea critică, volumul 1
Descoperă mai multe la MultiMedia
Abonează-te ca să primești ultimele articole prin email.



Lasă un răspuns