Mantık Formülleri

Bir bileşik önerme, kendisini oluşturan her değeri için daima doğru oluyorsa, bu bileşik önermeye totoloji, daima yanlış oluyorsa, bu bileşik...

1. "Ve" Bağlacı p ve q önermeleri arasında "ve" bağlacı kullanılarak "p ve q" bileşik önermesini elde etme işlemine "ve" işlemi denir. "p Λ q"...

Verilen p ile q herhangi iki önerme olmak üzere, “V” ya da “Λ” bağlacı ile elde edilen bileflik önermeler ile bu önermelerin olumsuzları arasında,...