ISTINITOSNE

VREDNOSTI ISKAZA.
TAUTOLOGIJE
DEF: Iskazne formule koje su
uvek, za sve moguće istinitosne
vrednosti iskaznih slova koja
čine te formule, tačne,
nazivamo TAUTOLOGIJAMA.
Pre nego krenete dalje
odgledajte sledeći VIDEO
 TAUTOLOGIJA

1. Rec grckog porekla

2. Tautos-isto
3. Logos-razum,zakon, razlog
Za dokazivanje tautologije koriste
se
1. tablična metoda
2. metoda svodjenja na apsurd
3. metoda diskusije po slovu

Pre nego krenete dalje odgledajte i sledeći

VIDEO. Budite pažljivi i ponovite ukoliko
ostane ponešto nejasno!
1. TABLIČNA METODA
Ispitati da li su sledeće formule
tautologije.
Zad1. F: (p  q)  (q  p)
p q p q q  p F
⊤ ⊤ ⊤ ⊤ ⊤
⊤ ⊥ ⊥ ⊤ ⊤
⊥ ⊤ ⊤ ⊥ ⊤
⊥ ⊥ ⊤ ⊤ ⊤

Evo i sličnog primera sa finim

objašnjenjem
Zad2.
F: p  q  r  p p  q
p q r p q p  q r p L p q F
⊤ ⊤ ⊤ ⊥ ⊥ ⊥ ⊥ ⊤ ⊤ ⊤
⊤ ⊤ ⊥ ⊥ ⊥ ⊥ ⊥ ⊤ ⊤ ⊤
⊤ ⊥ ⊤ ⊥ ⊤ ⊤ ⊥ ⊥ ⊥ ⊤
⊤ ⊥ ⊥ ⊥ ⊤ ⊤ ⊥ ⊥ ⊥ ⊤
⊥ ⊤ ⊤ ⊤ ⊥ ⊤ ⊤ ⊤ ⊤ ⊤
⊥ ⊤ ⊥ ⊤ ⊥ ⊤ ⊥ ⊥ ⊤ ⊤
⊥ ⊥ ⊤ ⊤ ⊤ ⊤ ⊤ ⊤ ⊤ ⊤
⊥ ⊥ ⊥ ⊤ ⊤ ⊤ ⊥ ⊥ ⊤ ⊤
Sličan primer možete pogledati klikom na sledećem LINKU
DOMAĆI ZAD1.  1 1   1 1  10
p:    :    
Dati su iskazi:  2 3   4 5 3
1 1 1 1 37
q:  :   
2 3 4 5 6
1 1 1 1
r :    :   7
2 3 4 5
1 1 1 1 2
s:  :  
2 3 4 5 5

Odrediti njihovu istinitosnu vrednost,

a zatim odrediti istinitosnu vrednost
izraza:
p  q  r  s  q  r   s
 DOMAĆI ZAD2.
Odredi istinitosnu
vrednost sledećih rečenica
p: Svaki trougao ima tri jednaka ugla.
q: Postoji najveci prirodni broj.
r: Jednacina 1-1-2-x  5 nema resenja.

a zatim odredi istinitosnu

vrednost sledećeg izraza:
p  q  r  p  q  r
DOMAĆI ZAD3
Ispitaj da li je formula
tautologija