Logika Bartek: W przypadku funkcji kwadratowej zawsze jest pewien model (metoda) jej badania tzn. delta, pierwiastki,monotoniczności itd. Wszystko robi się krok po kroku. A czy istnieje coś podobnego, co można stosować jako sposób (krok po kroku) w przypadku badania prawdziwości zdań kwantyfikatorowych ?

Artur z miasta Neptuna: oczywiście: 1) zapisujesz zdanie za pomocą kwantyfikatorów 2) robisz tabelkę w której wypisujesz możliwość jakie mogą wystąpić (np. w zdaniu występuje 'p', 'q' i 'r' w różnym zestawie kwantyfikatorów −−− więc będzie 8 przypadków które rozpatrujesz) 3) do tabelki (pomocniczo) dopisujesz dodatkowe rubryki w których podajesz coraz bardziej skomplikowane fragmenty zdania (aby się nie pomylić) 4) wyciągasz wniosek, czy zdanie jest poprawne czy nie (i wskazujesz dla jakiego przypadku nie jest)

Artur z miasta Neptuna: przykładowe zdanie (piszę z pamięci więc z pewnością będzie błędne): Jeżeli spotkasz dzisiaj Jacka w galerii, to będzie znaczyło, że Maćka w niej nie było, gdy był w niej Jacek. (p⋀q)⇒(~r⇔q) jak widzisz ... zdanie nie jest prawdziwe dla pierwszego przypadku