Report copyright - Base Axiomática para o Cálculo Proposicional Símbolosrafael/ia850/logica_modal.pdf · T5d: LL~p ≡ ~MMp T5e: MM~p ≡ ~LLp T5f: LM~p ≡ ~MLp T5g: ML~p ≡ ~LMp Regra do intercâmbio
Please pass captcha verification before submit form
Please pass captcha verification before submit form