tautologie drzewka semantyczne
roman: Czy formuła (>q) −> Г(p−>Гq) jest tautologią czy kontrtautologią rachunuku zdan? Moje
rozwiazanie pod linkiem. Negujemy zdanie logiczne by sprawdzic czy jest taut.
http://fotowrzut.pl/4N81LSQE3E
31 paź 18:19
roman: Czyli jest kontrtaut tak?
31 paź 18:21
roman: 
31 paź 19:19
roman:
31 paź 20:10
roman: ?
31 paź 23:11
roman: Czy na tym forum zna ktoś logike zdan
31 paź 23:13
dr: ?
2 lis 14:11