Logika 2

Zadanie 1.

Nie mogę rozczytać…

Zadanie 2.

  1. Student

  2. Nie kolarz

  3. Książka

A B-środek C

( nie mam zielonego pojęcia czy to jest dobrze)

Zadanie 3.

To nieprawda, że niektórzy studenci są przestępcami.

Funktor zdaniotwórczy od dwóch argumentów nazwowych f z/nn

Zadanie 4.

{[(p˄q)˄(q˅r)]˄(p˄r)}→r

(2,4,6,8)

2. {[(P˄P)˄(P˅F)]˄(P˄F)}→F

{[P˄P]˄F}→F

{P˄F}→F

P→F

F

Podany schemat nie jest tautologią.

Zadanie 5.

Wszyscy ludzie nie są szczęśliwi.

Zadanie 6.

Nieprawda, że niektórzy studenci nie są przyszłymi policjantami.

(SoP)’-zdanie szczegółowo przeczące

  1. (SoP)’→SiP (podprzeciwieństwo)

Jeżeli nieprawda, że niektórzy studenci nie są przyszłymi policjantami to niektórzy studenci są przyszłymi policjantami.

  1. (SoP)’→ (SeP)’ (podrzędność)

Jeżeli nieprawda, że niektórzy studenci nie są przyszłymi policjantami to nieprawda, że żaden student nie jest przyszłym policjantem

  1. (SoP)’→SaP (sprzeczność)

Jeżeli nieprawda, że niektórzy studenci nie są przyszłymi policjantami to każdy student jest przyszłym policjantem.

Zadanie 7.

Każdy student jest pełnoletni. Niektórzy z nich nie uprawiają żadnej dyscypliny sportowej.

M1aP

SaM2

SaP

Jeżeli każda osoba uprawiająca sport jest pełnoletnia i każdy student jest osobą uprawiającą sport to każdy student jest pełnoletni.

Zadanie 8.

Niektóre przedmioty są okrągłe, bo piłka jest okrągła.

MaP

SiM

SoP

( Jeżeli każda rzecz okrągła jest piłką i niektóre przedmioty są okrągłe to niektóre przedmioty są piłkami.


Wyszukiwarka

Podobne podstrony:
Metodologia badań z logiką dr Karyłowski wykład 7 Testowalna w sposób etycznie akceptowalny
Logika koll3
logika mat
Logika W2 2013 14 ppt
logika wyklad 02
LOGIKA wyklad 5 id 272234 Nieznany
Logika RachunekZdan
logika rozw zadan v2
Analiza Wyklad 01 Logika id 59757 (2)
logika wyklad 07
logika test przykladowy
LOGIKA POJECIA, PRAWO, Logika
do zdań ściąga wyjątki, Logika Prawnicza
logika egzamin(1), Studia Pedagogika, Logika
logika, logika
Test Logika, Prawo UWM
LOGIKA BINARNA, technik teleinformatyk
Logika wykład II - 20.10.2013, Sem. 1, Logika

więcej podobnych podstron