[ SVIRCEV @ 01.11.2010. 18:45 ] @
Potrbna mi je pomoc oko ovoga:

Koji od sledecih iskaza je logicki istinit a koji je logicki protivrecan,a koji ni jedno ni drugo:

1) p<=>p
2) p=>¬p
3) (p∨q)<=>(p∧q)
4) (p=>q)=>p

[ japan @ 01.11.2010. 19:13 ] @
A je l' bilo nekih predavanja i definicija, ili je profesor samo tako istresao zadatke?
[ atomant @ 01.11.2010. 19:22 ] @
A sta je to tautologija? Sta je kontradikcija? Ne mozes da radis ovaj zadatak ako ne znas jedno odnosno drugo.
[ SVIRCEV @ 01.11.2010. 19:36 ] @
To se radi preko tablica istinitosti.
naprimer:

3) (p∨q)<=>(p∧q) e sad neka ovo dalje bude A (p∨q) , a ovo B (p∧q)

p q (p∨q) (p∧q) A<=>B
T T T T T
T ⊥ T ⊥ ⊥
⊥ T T ⊥ ⊥
⊥ ⊥ ⊥ ⊥ T

e sad ovaj iskaz nije tautologija... Ja mislim da treba tako.

A mene buni koji je iskaz logicki protivrecan i to sto pise ili ni jedno ni drugo.

*Tautologija je kada su svi iskazi tacni a kontradikcija kada su svi netacni.






[Ovu poruku je menjao SVIRCEV dana 01.11.2010. u 21:12 GMT+1]
[ atomant @ 01.11.2010. 21:10 ] @
Pa tautologija je logicki istinit, kontradikcija logicki neistinit, a kada imas i T i ⊥ onda nije ni jedno ni drugo (kontingencija).