Sprawdź niezawodność następujących wniosków. Woj__tek04: Mam pewne wnioskowania, muszę sprawdzić, czy schemat jest niezawodny i nie wiem do końca jak to rozpisać w schemacie wnioskowania. − "Jeśli piękno jest wyłącznie własnością ciała, to anioły nie są piękne i idee nie są piękne. Anioły są piękne. Zatem, jeśli idee są piękne, to piękno nie jest wyłącznie własnością ciała." Ustale, że: p−piękno jest wyłącznie własnością ciała q−anioły są piękne r−idee są piękne Czy schemat powinien wyglądać tak?: [p⇒(¬q∧¬r)]∧q⇒(r⇒¬p) Czy tak?: [p⇒(¬q∧¬r)]∧q∧r⇒¬p

Saizou : W języku potocznym wniosek od przesłanek oddziela się spójnikami: zatem, wiec, przeto. Opcja pierwsza jest poprawna