logika prosta logika: Czy z założenia A wynika logicznie B? A – Jeśli profesor jest zmęczony, to nie będzie przedłużał wykładu. B – Nie jest prawdą, że zarazem profesor będzie przedłużał wykład i jest zmęczony. p − profesor jest zmęczony q − prof. będzie przedłużał wykład A => B czyli (p => ~q) => ~( q p) gdy podstawie za p i q jedynkę, to w części B wychodzi zero, tyle że w części A też wychodzi wtedy 0. Wychodziłoby mi na to, że wynika, ale w odpowiedziach jest, że nie wynika...

prosta logika: czy to ja to źle w takim razie zapisałem / albo coś źle nie wnioskuję i tego nie widzę, czy odpowiedź jest błędna?

ite: Jeśli dobrze rozumiem pytanie, to dochodzisz do wniosku, że z założenia A wynika logicznie B, a w odpowiedziach jest podane, że nie wynika? A jaką masz podaną definicję wynikania logicznego?

prosta logika: Z tego co zrozumiałem to po prostu musi to być tautologia

ite: Nie było podanego pojęcia interpretacji i takiej definicji https://pl.wikipedia.org/wiki/Wynikanie_logiczne ? Jeśli nie, to sprawdzasz, czy implikacja z 15:23 jest tautologią.

chichi: (p → ~q) → ~(p ∧ q) Załóżmym, że nie jest tautologią więc główna implikacja ma wartość 0, zatem: (1) następnik implikacji musi być fałszywy ~(p ∧ q) − 0 → (p ∧ q) − 1 → p=1 ∧ q=1 (2) poprzednik implikacji musi być prawdziwy p → ~q 1 1 0 Sprzeczność, zatem formuła jest tautologią

goku: dzieki