Kwantyfikatory Magdaa: Błagam pomóżcie z rachunkiem kwantyfikatorów Chodzi mi tylko o sposób, w jaki się wykazuje, że jakieś zdanie jest tautologią. To znaczy zdania z logiki z p, q itd. umiem, ale nie mam pojęcia jak to się robi z kwantyfikatorami, dajcie mi chociaż wskazówkę proszę Was Np. coś takiego [(∃x∊X δ(x)) ∨ (∃x∊X Φ(x))] ⇒ [∃x∊X (δ(x) ∧ Φ(x))]

Basia: ta implikacja jest fałszywa wystarczy podać kontrprzykład ∃_x∊R x>0 zdanie prawdziwe ∃_x∊R x<0 zdanie prawdziwe (∃_x∊R x>0) ∨ ∃_x∊R x<0 zdanie prawdziwe ∃_x∊R (x>0 ∧ x<0) zdanie fałszywe poprzednik 1, następnik 0 czyli implikacja jest fałszywa