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