logika pytania na egzamin1

o Podaj definicję wynikania semantycznego w krz. Scharakteryzuj tę własność o Przedstaw znane ci dwuargumentowe funkiory prawdziwościowe o Co to znaczy, że relacja jest sy metryczna i przechodnia? Podaj przykłady o Podaj negację zdania „Każdy student zdał co najmniej dwa egzaminy" o Co to znaczy udowodnić, sprawdzić, obalić, potwierdzić, wytłumaczyć?

o W jakich relacjach zakresowych może być nazwa pusta do nieostrej? o Podaj definicję wartościowania w krz i definicję tautologii tego rachunku, o Czy prawda logiczną jest zdanie „Jeżeli każdy student zdał co najmniej jeden egzamin, to pewien student zdał co najmniej dwa egzaminy". Podaj negację tego zdania

o Co to znaczy podać model dla języka L, który-' składa się z jednego predykatu jednoargumentow^rego P i jedno dwuargumentowego R? o Przedstaw znane co rodzaje wnioskowań niededukcyjnych.

o Co to jest konotacja nazwy?

o Podaj kilka różnych praw rachunku predykatów. Udowodnij jedno z nich korzystając ze znanych reguł.

o Co to jest implikatura konwersacyjna?

o Opisz własności formalne „v" w zbiorze wszystkich formuł krz. o Omów warunki poprawności definicji

o Wskaż powody ze względu na które pewne zdania oznajmującc nie mogą być uznane za zdania w sensie logiki o Przedstaw⁷ podstawowe podziały nazw

o Co to znaczy, żc zdanie A wynika logicznie ze zdania B? że się z nim wyklucza? Że się z nim dopełnia?

o Podaj znane ci prawa rachunku kwantyfikatorów i udowodnij jedno z nich. o Omów podstawowe błędy we wnioskowaniach subiektywnie pewnych lub przedstaw różne rodzaje wnioskowań niededukcyjnych