Sprawdź, czy podane zdania to tautologie.

dominika902 · Post autor: **dominika902** » 20 lis 2007, o 19:46

Sprawdź, czy podane zdania są prawami logicznymi.
a) \(\displaystyle{ ((p q)\wedge p) q}\)
b) \(\displaystyle{ [p (q\wedge p)] [~p (q\vee p)]}\)

Następnym razem zadania z logiki umieszczaj w tym dziale. A LaTeX nie gryzie.

doliva · Post autor: **doliva** » 20 lis 2007, o 20:02

Polecam stronę:

server88 · Post autor: **server88** » 21 lis 2007, o 16:22

z tabelki 1,0 trzeba rozpisać, mi wyszło, że obydwa nie są tautologiami (mam nadzieję, że się nie pomyliłem, bo od dwóch dni tylko same 1,0,T,F przed oczami ) pzdr

Post autor: **Jan Kraszewski** » 21 lis 2007, o 19:14

a) jest, b) nie jest.
JK

server88 · Post autor: **server88** » 21 lis 2007, o 19:18

racja, jednak się wcześniej pomyliłem

martha · Post autor: **martha** » 13 sty 2008, o 21:30

Czy gdzieś można znaleźć więcej zadań tego typu?Lub jeszcze lepiej ze zdaniami,które należy przekształcić i sprawdzić,czy wniskowanie jest tautologiczne?
Zależy mi na tym,aby mieć wgląd w odpowiedzi,ponieważ chcę się przygotować do kolokwia.
Z góry dziękuję za odpowiedź

[ Dodano: 16 Stycznia 2008, 14:35 ]
Prosiłabym o pomoc w przekształceniu na styl formalny zdań:

Jezeli Jan uczy się logiki,to jeśli jego poglądy są wewnętrznie sprzeczne,to je zmieni.Jeżeli Jan zmieni poglądy, to straci autorytet.Jeśli zatem poglądy Jana są wewnętrzenie sprzeczne, lecz Jan nie uczy się logiki, to nie straci autorytetu.

Z góry dziękuję

wasnio · Post autor: **wasnio** » 27 lut 2008, o 19:37

A ja mam pytanie. Czy robienie tabelki i sprawdzanie każdej możliwości to jedyny sposób na rozwiązywanie tego typu zadań?

Qń · Post autor: Qń » 27 lut 2008, o 20:25

Nie jedyny i do tego najmniej elegancki, choć bardzo lubiany przez studentów, bo niewymagający w ogóle myślenia. Zadania z początku wątku można rozwiązać używając wyłącznie zdrowego rozsądku, w ogólności natomiast na przykład przy sprawdzaniu czy jakaś implikacja jest tautologią można sprawdzić czy jest możliwe, żeby poprzednik był prawdziwy, a następnik fałszywy (to odmiana dowodu nie wprost).

Q.