Udowodnij poniższe stwierdzenia pansympatyczny: Logika − udowodnij Niech symbole Ψ i Φ oznaczają formuły zdaniowe. Udowodnij poniższe stwierdzenia lub podaj przykłady świadczące o ich fałszywości. 1. Jeśli Φ⇒Ψ jest tautologią i Φ jest tautologią, to Ψ jest tautologią. 2. Jeśli Φ⇒Ψ jest spełnialna i Φ jest tautologią, to Ψ jest spełnialna. Jak to zrobić. Czy chodzi o coś takiego? 1. Φ | Ψ 1 | 1 1 | 0 ←więc Ψ nie jest tautologią (Dla Φ tylko jedynki, bo jest tautologią) 2. Φ | Ψ 1 | 1←więc Ψ jest spełnialna 1 | 0

pansympatyczny: Czy to już nie ten poziom, dla tego forum?