Okresl alternatywe za pomoca negacji i implikacji. daniel13169: 1) Okresl alternatywe za pomoca negacji i implikacji. 2) Okresl koniunkcje za pomoca negacji i implikacji. Czy robie to dobrze? Ad1. p∨q ⇔ ∼(∼p)∨q ⇔ ∼p⇒q Ad2. p∧q ⇔ p∧∼(∼q) ⇔ ∼(p⇒∼q)

Saizou : jest oki

daniel13169: Czyli jakbym tak napisał na kolokwium to by wystarczyło czy musiałbym sie z tego wytłumaczyć?

Saizou : Ja bym to uznał może jedynie warto byłoby pokazać że niezależnie od wartościowania p,q te zapisy są tożsame

'Leszek: Najlepiej uzyj tabelki zero−jedynkowej aby wykazac , ze te zapisy sa tautologiami

Saizou : albo inaczej, że układy {v, ¬} oraz {∧ , ¬} są układami zupełnymi spójników

daniel13169: Czyli załózmy, że zrobie to tak jak zrobiłem i pokaże dowód tabelka dla że jest to tautologia i bedzie dobrze? Dzięki za pomoc