Dobrý den,
vypracovávám dávku na zkoušku z Logiky a máme toto zadání:
Děkuji za Vaší pomoc, velice to spěchá.
Petra
Následující dvojice vět zformalizujte a rozhodněte zda jsou či nejsou ekvivalentní.
V případě, že ekvivalentní nejsou, zdůvodněte proč a určete jaký vztah mezi nimi je (konverze, inverze, kontrapozice,
kontradikce, kontrárnost, subkontrárnost, subalternost apod.)
Každá růže má trní.
Co nemá trní, není růže.
Kam chodí slunce, tam nechodí lékař.
Kam nechodí lékař, tam chodí slunce.
Není dýmu bez ohně.
Každý dým má oheň.
Po bitvě je každý generál.
Někdo po bitvě generálem nebyl.
Ne každý klobouk má dýnko nebo krempu.
Žádný klobouk nemá dýnko a krempu.
Offline