wejściówka 22 05

Question 1

zasada kompozycyjności

Answer 1

znaczenie wyrażenia złożonego jest funkcją znaczeń jego składników

Question 2

model formuły

Answer 2

interpretacja dla której formuła zdaniowa rachunku predykatów jest prawdziwa

Question 3

kontrmodel

Answer 3

interpretacja dla której formuła zdaniowa rachunku predykatów jest fałszywa

Question 4

interpretacja

Answer 4

świat w ramach którego - w określonym stanie rzeczy - ustalamy wartości logiczne zdań

Question 5

fałszywość zdania uniwersalnego

Answer 5

podanie kontrprzykładu

Question 6

prawdziwość zdania egzystencjalnego

Answer 6

Podanie przykładu

Question 7

fałszywośćzdania egzystencjalnego i prawdziwość zdania uniwersalnego

Answer 7

?

Question 8

Tautologia w rachunku predykatów

Answer 8

Wyrażenie, które jest schematem wyłącznie zdań prawdziwych;
nie istnieje jej kontrmodel

Question 9

kontrtautologia

Answer 9

schemat zdań wyłącznie fałszywych;
nie istnieje jej model

Question 10

funkcja zdaniowa jest prawdziwa

Answer 10

Gdy jest spełniona przez każdy obiekt z uniwersum;
po poprzedzeniu ich kwalifikatorami uniwersalnymi wiążącymi wszystkie zmienne wolne tworzą zdania prawdziwe