indukcja w logice
młody tales :): 1. Udowodnij, że za pomocą alternatywy i koniukcji nie można zdefiniować implikacji.
2. Wykaż, że p −> (q −> p AND q)jest tautologią
5 paź 17:14
młody tales :): UP
5 paź 18:49
młody tales :): UP
5 paź 21:29
Basia:
ad.2
tabelka 0−1: p | q | p∧q | q⇒(p∧q) | p⇒( q⇒(p∧q)) |
ad.1
pomyślę
5 paź 21:36
Aga1.: 1) Wiemy, że
(p⇒q)⇔(∼pvq)
6 paź 10:13