logicki iskazi

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

*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

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

1) istinit, prosto
2) => moze da bude netacn samo ako T=>ne T sto znaci da ovde moze da bude p ili T ili ne T , ako je T onda moze da bude T=>ne T a to je protivrecno
3
4
ostavljam ti za vezbu, napisi sta te muci, vidim da si postavila jos zadataka, forum tako ne funkcionise, ovde se en rade tudji domaci zadaci nego se razjasnjavaju stvari koje nisu jasne. Dakle, napisi sta ti je nejasno i bice pomoci

PS. Dobrodosla na forum

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

Ja mislim da se 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.

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

Aha, pa mze i preko tablica
E sad, ne secam se koliko se radi u skoli ali iskaz moze da bude:
tautologija ( za svaku valuaciju da bude tacan)
poreciv ( da postoji valuacija za koju nije tacan)
zadovoljiv (da postoji valuacija za koju jeste tacan)
nezadovoljiv ( da ne postoji valuacija za koju je tacan) , zove se jos i kontradiktoran ili verovatno skolski protivrecan

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

trebaju mi zadaci (iskazi) za vezbanje.