Prawda logiczna Patryk: Cześć 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 − będzie przedłużał wykład A − p⇒~q B − ~(p ∧ q) po zrobieniu tabelki logicznej wychodzi mi tautologia, wszędzie prawda a powinien wyjść fałsz. Mógłby ktoś zweryfikować jak powinno być faktycznie?

Saizou : Z prawa eliminacji implikacji i prawa de Morgana mamy p→~q ≡ ~p ∨ ~q ≡ ~(p ∧ q)

Patryk: Czyli ostatecznie z A wynika logiczne B?

Saizou : No tak

ite: Jeśli chcesz odpowiedzieć na zadane pytanie, musisz spojrzeć na definicję wynikania logicznego: Zdania B wynika logicznie ze zdania A wtedy i tylko wtedy, gdy schemat implikacyjny "Jeśli A to B" jest prawem logiki (tautologią). Wtedy interpretacja tego, co napisał Saizou, nie budzi wątpliwości.