logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 6103

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

franek123
postów: 1
2019-11-24 22:18:39

1,Podaj określenie wartościowe zbioru zmiennych zdaniowych. Jeżeli Zosia jest młoda i piękna to Warszawa nie jest stolicą Polski. Jeżeli Warszawa jest stolicą Polski to Zofia jest młoda. są prawdziwe. Jaka jest wartość logiczna zdania. Jeżeli Zofia jest piękna to Zofia jest brzydka?

2, Podaj określenie tautologii KRZ i zbadaj metodą tablicową lub nie wprost, czy następująca formuła jest tautologią: ((p∧q) →r) →(p∧(∧(q→r)).

3.Podaj określenie rozumowania dedukcyjnego i niezawodnego schematu wnioskowania. Jeżeli w definicji niezawodnego schematu wnioskowania użyto pojęcia wynikania logicznego to podaj rownież definicję tego pojęcia. Zbadaj czy następujące rozumowanie jest dedukcyjne

. Jeśli Jan jest ojcem oskarżonego to Jan może uchylić się od zeznań.

Nieprawda, że Jan może uchylić się od zeznań

Zatem, nieprawda, że Jan jest ojcem oskarżonego.

Uzasadnij Odpowiedź w oparciu o podane definicję

4. Podaj definicję formuł równoważnych i twierdzenia o równoważnośći. Korzystając z tego twierdzenia przekształć formułę. (p ∧ q) ∨ ∼r do postaci równoważnej zawierającej wyłącznie spójniki → i ∼. Przy każdym przekształceniu podaj jakiej równowartości użyto.

5. Sprawdź, czy następująca formuła jest tautologią KRZ metodą tablic analitycznych [(p→q)→r]→[p∨(q→r)]

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj