Regułę wnioskowania zapisujemy jako implikację, gdzie poprzednik tej implikacji to koniunkcja zdań logicznych nad kreską na schemacie, a następnik to nasze zdanie wynikowe pod kreską na schemacie. Dalej
Rzeczywiście jest to poprawna reguła dowodzenia, bo przyjmując, że ∼ p ⇒ (q ∧ ∼ q)=1 musimy założyć, że ∼ p=0 . Stąd zaś wynika, że p=1. Dalej
Reguła wnioskowania p _______ ∼ p ⇒ q przedstawia pewne prawo rachunku zdań logicznych. Jak nazywa się to prawo?
Jak nazywamy graficzne zobrazowanie zależności pomiędzy implikacją prostą, przeciwną, odwrotną oraz przeciwstawną?
bigstockphoto.com Quiz na czas Poniedziałkowy ekspresowy trening szarych komórek | Kategoria: MATEMATYKA
