Wykazać, że p⋀q)⇒p jest tautologią Niewybitny Matematyk: Witam, czy na pewno to co robię jest tautologią (no chyba, że coś źle robię?): (p ∧ q) ⇒ p p | q | (p⋀q) | (p⋀q)⇒p 1 | 1 | 1 | 1 1 | 0 | 0 | 0 0 | 1 | 0 | 1 0 | 0 | 0 | 1 Tautologia może tak wyglądać? (Mam na myśli, czy nie powinno być na samym końcu samych jedynek?)

Niewybitny Matematyk: Za szybko jednak zadałem pytanie, ponieważ na odwrót miałem zapisaną tabelkę implikacji.