Se si volesse dimostrare che (p v (non p)) è una tautologia, ci sono due vie, quella delle tavole di verità e quella formale. Qual è la differenza tra due tipi di approcci? Quale dei due riesce a dimostrare più proposizioni logiche?
[…]
Read more[…]
Read more[…]
Read more[…]
Read more[…]
Read more[…]
Read more