( (A V B) -> B) -> (A V B) Ez tautológia? Megoldottam, de nem tudom, hogy jó-e ez a megoldás.
Figyelt kérdés
Nekem ez jött ki:
(¬(A V B) V B)->(A V B)
(¬A ∧ ¬B) V B)->(A V B)
¬A ∧ (¬B V B)->(A V B)
¬A ∧ True ->(A V B)
¬A -> (A V B)
Tehát nem tautológia, mert
A->(A V B)
Ez így jó vagy teljesen rossz? Ha teljesen rossz, akkor mit rontottam el?
2019. okt. 9. 19:49
1/1 anonim 
válasza:
válasza:"Egy logikai formula tautológia, ha a változók minden lehetséges igazságértékére igaz műveleti eredményt ad."
Ha A és B is hamis, akkor ( (A V B) -> B) igaz. De akkor az ettől jobbra levő (A V B)-nek is igaznak kéne lennie, mert implikáció van köztük. Tehát létezik hamis eredmény, nem tautológia.
Ami neked kijött (A->(A V B)) tautológia. Ennél a lépésnél rontottad el:
(¬A ∧ ¬B) V B)->(A V B)
¬A ∧ (¬B V B)->(A V B)
Kapcsolódó kérdések:
Minden jog fenntartva © 2024, www.gyakorikerdesek.hu
GYIK | Szabályzat | Jogi nyilatkozat | Adatvédelem | Cookie beállítások | WebMinute Kft. | Facebook | Kapcsolat: info(kukac)gyakorikerdesek.hu
A weboldalon megjelenő anyagok nem minősülnek szerkesztői tartalomnak, előzetes ellenőrzésen nem esnek át, az üzemeltető véleményét nem tükrözik.
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!