Sprawdź metodą zerojedynkową skróconą, czy następująca formuła jest tautologią:

 ~ ( ~ ( ( p → q ) / ~ r ) → s ) → ( ( ( s → r ) / ( r → q ) ) ⊥ ( q → p ) )

Aby sprawdzić poprawność odpowiedzi, proszę wpisać odpowiedź wg następującego wzoru:

a) jeżeli formuła jest tautologią, proszę w okienku wpisać "T"

b) jeżeli formuła nie jest tautologią, proszę w okienku wpisać "NT" i po przecinku kolejne wartości zmiennych (p, q, r itp.), bez spacji.

Przykład: Formuła "p → (q → ~p)" jest nietautologią, gdyż jest fałszywa dla p=1 i q=1. W pole odpowiedzi wpisujemy zatem:

"NT,1,1"

Sprawdź metodą zerojedynkową skróconą, czy następująca formuła jest tautologią:

( q / ~ ( p → r ) ) → ( ~ p ∨ ~ ( ~ q ↓ r ) )  

Aby sprawdzić poprawność odpowiedzi, proszę wpisać odpowiedź wg następującego wzoru:

a) jeżeli formuła jest tautologią, proszę w okienku wpisać "T"

b) jeżeli formuła nie jest tautologią, proszę w okienku wpisać "NT" i po przecinku kolejne wartości zmiennych (p, q, r itp.), bez spacji.

Przykład: Formuła "p → (q → ~p)" jest nietautologią, gdyż jest fałszywa dla p=1 i q=1. W pole odpowiedzi wpisujemy zatem:

"NT,1,1"

Sprawdź metodą zerojedynkową skróconą, czy następująca formuła jest tautologią:

( ~ ( p / q ) ∧ ( r ∨ ~ p ) ) → ~ ( ( q → ~ r ) ⊥ ( p ∧ ~ r ) )

Aby sprawdzić poprawność odpowiedzi, proszę wpisać odpowiedź wg następującego wzoru:

a) jeżeli formuła jest tautologią, proszę w okienku wpisać "T"

b) jeżeli formuła nie jest tautologią, proszę w okienku wpisać "NT" i po przecinku kolejne wartości zmiennych (p, q, r itp.), bez spacji.

Przykład: Formuła "p → (q → ~p)" jest nietautologią, gdyż jest fałszywa dla p=1 i q=1. W pole odpowiedzi wpisujemy zatem:

"NT,1,1"

Sprawdź metodą zerojedynkową skróconą, czy następująca formuła jest tautologią:

( ~ ( ~ p ∨ r ) ∧ ( s ∧ q ) ) → ( ~ ( ~ t / p ) → r )

Aby sprawdzić poprawność odpowiedzi, proszę wpisać odpowiedź wg następującego wzoru:

a) jeżeli formuła jest tautologią, proszę w okienku wpisać "T"

b) jeżeli formuła nie jest tautologią, proszę w okienku wpisać "NT" i po przecinku kolejne wartości zmiennych (p, q, r itp.), bez spacji.

Przykład: Formuła "p → (q → ~p)" jest nietautologią, gdyż jest fałszywa dla p=1 i q=1. W pole odpowiedzi wpisujemy zatem:

"NT,1,1"

Wskaż, czym jest cała formuła, tzn. znajdź jej funktor główny.

Niektóre odpowiedzi mogą zostać wybrane wielokrotnie bądź być puste.

W przypadku, gdyby pojawiły się problemy, proszę pamiętać, że negacja jest funktorem jednoargumentowym, który neguje formułę następujacą bezpośrednio po niej oraz pomóc sobie klamerkami nad nawiasami.

Na podstawie tabeli odpowiedź na pytanie, jaki funktor oznaczony jest znakiem zapytania, wpisując jego nazwę w pole odpowiedzi.

Na podstawie tabeli odpowiedź na pytanie, jaki funktor oznaczony jest znakiem zapytania, wpisując jego nazwę w pole odpowiedzi.

Wskaż wyrażenia sensowne KRZ.

Spośród poniższych wskaż zdania w sensie logicznym.

Jeżeli w tabelce prawdziwościowej tego funktora dwuargumentowego wartość prawdy występuje tylko raz, to znaczy, że mamy do czynienia albo z koniunkcją, albo z binegacją.

(ograniczamy się rzecz jasna tylko do funktorów przedstawionych na zajęciach)