Logika, zdania pomoc: Witam, mogłabym prosić o pomoc w zdaniach : Sprawdź, czy zdania są prawdziwe, napisz schemat zdania: 1)Jeżeli ( masz książkę lub masz zeszyt) i nie masz książki to masz zeszyt 2) Jeżeli (nie masz zeszytu lub nie masz książki), to nieprawda, że (masz zeszyt i masz książkę) 3)Jeśli ( z faktu, że masz książkę wynika, że masz zeszyt) i książkę posiadasz, to masz zeszyt.

Janek191: 1) Zdanie prawdziwe bo [ ( p ∨ q ) ∧ ∼ p ] ⇒ q jest tautologią Sprawdzić tabelką zerojedynkową. 2) Sprawdzić [ ∼ q ∨ ∼ p ] ⇒ [ ∼ ( q ∧ p ) ] 3) Sprawdzić [ ( p ⇒ q ) ∧ p ] ⇒ q p − " mam książkę " q − " mam zeszyt "

Janek191: 2) Zdanie prawdziwe 3) Zdanie prawdziwe

pomoc: 1) Tabela zarojedynkowa: p ..q.. ∼p.. .(q⋁q).. ..p⋁q⋀∼p.. ...p⋁q⋀∼p⇒q 1 1 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 Czy tak jest dobrze? 2) i 3) też są tautologią?

Janek191: Źle jest 4 i ostatnia kolumna .

Janek191: Wszystkie 3 zdania są tautologiami.

Janek191: 1) p q ∼p p∨ q ( p ∨ q) ∧ ∼ p ⇒ 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1

pomoc: Dziękuje bardzo

pomoc: A jeszcze mam jedno pytanie: w tym ostatnim zdaniu Czy dobrze zrobilam tabelke: p q p⇒q (p⇒q)⋀p [ (p⇒q)⋀p]⇔q 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1

Basia: tabelka jest poprawna, ale jeżeli to jest przykład (3) to ostatnia kolumna powinna mieć postać [ (p⇒q)∧p ] ⇒ q (a nie: ⇔)