Demonstrați că formula următoare este o tautologie ajungând la o formă de echivalență, fără a folosi tabelul de adevăr.
p ∧ (p → q) → q
Implicarea e asociativa la stanga, iar conjuncția se face prima dacă e la stânga.
dar stai oleaca
(p×(p->q))->q sau p×((p->q)->q)?
[p ∧ (p → q)] → q
prima.
ok
Nu știam nici eu sigur, dar a doua variantă nu e tautologie.
Vreau să ajung la o expresie cum ar fi (p -> q) <-> (p -> q).
O expresie echivalentă intotdeauna e adevărată fiindcă T <-> T = T iar
F <-> F = T
O expresie echivalentă intotdeauna e adevărată fiindcă T <-> T = T iar
F <-> F = T
Dar nu știu dacă e posibil.
Răspunsuri la întrebare
Răspuns de
7
(p⋀(p⇒q))⇒q ⇔ (p⋀(~p⋁q))⇒q ⇔ (p⋀~p)⋁(p⋀q)⇒q ⇔ p⋀q⇒q
Ultima propoziție este o tautologie, de aceia formula tot va fi o tautologie.
F → F <-> F (Fals) pardon.
F⇒F este adevărată
Stiu.
De asta F → F -> F
De asta F → F -> F
F → F -> F
nu merge sa pun slash...
F → F (Nu e) <-> F
ceva nu am corect?
Ba e corect.
ok.
Doar T -> F = F.
Alte întrebări interesante
Limba română,
8 ani în urmă
Geografie,
8 ani în urmă
Istorie,
8 ani în urmă
Limba română,
8 ani în urmă
Matematică,
9 ani în urmă
Matematică,
9 ani în urmă
Engleza,
9 ani în urmă
ca să o aduc la o formă echivalentă.